Researchers



Refined By:
Mp-cat.:  M30/M60
Date Issued:  [2000 TO 2009]

Issue DateTitleAuthor(s)TypeМp-cat.
2009Synthesizable SystemVerilog Assertions as a Methodology for SoC VerificationKastelan, Ivan  ; Krajacevic, ZoranConference Paper
Mp. category will be shown later