IEEE 1800-2009 SystemVerilog: Assertion-based Checker Libraries

Author(s):
Eduard Cerny and Dmitry Korchemny
Location:
United States