Temporal assertions in SystemC

Author(s):
Mikhail Moiseev, Leonid Azarenkov, and Ilya Klotchkov
Location:
Europe
Year:
2020
Type:
Presentation
Format:
pdf