Your search returned 14 results.

1.
Professional verification a guide to advanced functional verification / by Wilcox, Paul, Publication: Boston, Mass. ; | London : Kluwer Academic, 2004 . xii, 191 p. : Date: 2004 Availability: No items available:

2.
Verification by error modeling using testing techniques in hardware verification / by Radecka, Katarzyna. Publication: Boston : Kluwer Academic Publishers, 2003 . xiv, 216 p. : Date: 2003 Availability: No items available:

3.
Writing testbenches functional verification of HDL models / by Bergeron, Janick. Publication: New York : Kluwer Academic, 2002 . xxii, 354 p. : , Includes index. Date: 2002 Availability: No items available:

4.
Logic synthesis and verification algorithms by Hachtel, Gary D. Publication: Boston : Kluwer Academic, 2002 . xxxii, 597 p. : Date: 2002 Availability: No items available:

5.
Verification by error modeling using testing techniques in hardware verification / by Radecka, Katarzyna. Publication: Boston : Kluwer Academic Publishers, 2003 . xiv, 216 p. : Date: 2003 Availability: No items available:

6.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available:

7.
Comprehensive functional verification the complete industry cycle by Wile, Bruce. Publication: Amsterdam ; | Boston : Elsevier/Morgan Kaufmann, 2005 . xxiii, 676 p. : Date: 2005 Availability: No items available:

8.
Verification techniques for system-level design by Fujita, Masahiro, Publication: Amsterdam ; | Boston : Morgan Kaufmann Publishers, 2008 . viii, 240 p. : Date: 2008 Availability: No items available:

9.
Professional verification a guide to advanced functional verification / by Wilcox, Paul, Publication: Boston, Mass. ; | London : Kluwer Academic, 2004 . xii, 191 p. : Date: 2004 Availability: No items available:

10.
Writing testbenches functional verification of HDL models / by Bergeron, Janick. Publication: New York : Kluwer Academic, 2002 . xxii, 354 p. : , Includes index. Date: 2002 Availability: No items available:

11.
Logic synthesis and verification algorithms by Hachtel, Gary D. Publication: Boston : Kluwer Academic, 2002 . xxxii, 597 p. : Date: 2002 Availability: No items available:

12.
Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available:

13.
Comprehensive functional verification the complete industry cycle by Wile, Bruce. Publication: Amsterdam ; | Boston : Elsevier/Morgan Kaufmann, 2005 . xxiii, 676 p. : Date: 2005 Availability: No items available:

14.
Verification techniques for system-level design by Fujita, Masahiro, Publication: Amsterdam ; | Boston : Morgan Kaufmann Publishers, 2008 . viii, 240 p. : Date: 2008 Availability: No items available:

Powered by Koha