Koha online

HTML5 Icon

SystemVerilog assertions handbook: ... for dynamic and formal verification

By: Cohen, Ben
Contributor(s): Venkataramanan, Srinivasan | Kumari, Ajeetha | Piper, Lisa
Language: English Publisher: California VhdlCohen Publishing 2016Edition: 4th edDescription: xxx, 376pISBN: 9781518681448 Subject(s): Verilog (Computer hardware description language)DDC classification: 621.392 COH/S
Item type Current location Collection Call number Status Date due Barcode
Reference Reference Central Library
Reference (Sahyadri Campus) 		Reference 621.392 COH/S Not for loan 06927

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.