@BOOK{ Book!D - 93559118,
AUTHOR = "/ Harry Foster, Adam Krolnik, David Lacey",
TITLE = "Assertion-based design",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)",
URL = "/book/93559118/Assertionbased-design/"}