User:Æ/Books/HDVL

HDVL

 * Verilog
 * SystemVerilog
 * Property Specification Language
 * E (verification language)