SYSTEMVERILOG ASSERTIOS OF SYSTEMVERILOG-2009

Author(s): Yaitskova Galina Alexandrovna

Rubric: Information technology

Release: 2014-2 (5)

Pages: 51-59

Keywords: assertion, sequence, property, synchronized sequence

Annotation: The internal SystemVerilog Assertion of SystemVerilog-2009 order as a way of informational safety ensuring with using of assertions tools is presented

Bibliography: Yaitskova GA.AL. SYSTEMVERILOG ASSERTIOS OF SYSTEMVERILOG-2009 // Education Resources and Technologies. – 2014. – № 2 (5). – С. 51-59. doi: