|
1.
|
Hardware design verification : simulation and formal method-based approaches
by Lam, William K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2005Availability: No items available Checked out (1).
|
|
2.
|
Logic synthesis and verification algorithms
by Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
|
|
3.
|
EDA for IC system design, verification, and testing
by Lavagno, Luciano | Martin, Grant | Scheffer, Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2006Availability: Items available for loan: [Call number: 621.3815 SCH] (1).
|
|
4.
|
Writing testbenches : functional verification of HDL models
by Bergeron, Janick. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 621.3815 BER] (1).
|
|
5.
|
Design verification with E
by Palnitkar, Samir. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2004Availability: Items available for loan: [Call number: 621.392 PAL] (1).
|
|
6.
|
Scalable hardware verification with symbolic simulation
by Bertacco, Valeria. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 BER] (1).
|
|
7.
|
Hardware verification with C++ : a practitioner's handbook
by Mintz, Mike | Ekendahl, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.3815 MIN] (2).
|
|
8.
|
SystemVerilog for verification : a guide to learning the testbench language features
by Spear, Chris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SPE] (1).
|
|
9.
|
Metric driver design verification : an engineer's and executive's guide to first pass success
by Carter, Hamilton B | Hemmady, Shankar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.381548 CAR] (1).
|
|
10.
|
Hardware verification with SystemVerilog : an object-oriented framework
by Mintz, Mike | Ekendahl, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 621.392 MIN] (1).
|
|
11.
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by Yoeli, Michael | Kol, Rakefet. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 621.381548 YOE] (1).
|
|
12.
|
Practical design verification
by Pradhan, Dhirah K | Harris, Ian G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 621.381548 PRA] (1).
|
|
13.
|
Counterfeit integrated circuits : detection and avoidance
by Guin, Ujjwal | Forte, Domenic | Tehranipoor, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 621.381548 TEH] (1).
|