@BOOK{ Book!D - 95049094,
AUTHOR = "Mehta, Ashok B.",
TITLE = "Systemverilog assertions and functional coverage: guide to language, methodology and applications",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification",
URL = "/book/95049094/Systemverilog-assertions-and-functional-coverage/"}