Lucas Klemmer, Daniel Große,
"WSVA: A SystemVerilog Assertion to WAL Compiler"
: Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE, 2024
Original Titel:
WSVA: A SystemVerilog Assertion to WAL Compiler
Sprache des Titels:
Englisch
Original Buchtitel:
Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE
Original Kurzfassung:
SystemVerilog Assertions (SVA) is an industry standard for specifying properties that describe the correct behavior of a system. Compared to SystemVerilog?s immediate assertions, they provide a much more powerful syntax including the ability to specify properties spanning over multiple clock cycles. However, to the best of our knowledge, SVA is not supported by any available open-source Electronic Design Automation (EDA) tool. In this paper, we present WSVA, a compiler from SVA to the Waveform Analysis Language (WAL).
Forschungs-