RTL

[Google Scholar] [Wikipedia]

Notes:
Papers: systemverilog:ieee:2013

Symbolic trajectory evaluation

  • Defining interfaces between hardware and software: Quality and performance [reid:phd:2019]
  • A survey of computer hardware description languages in the U.S.A. [su:computer:1974]
  • IEEE standard for SystemVerilog - Unified hardware design, specification, and verification language [systemverilog:ieee:2013]