Professional verification : a guide to advanced functional verification /

Professional verification : a guide to advanced functional verification /

16

Manylion Llyfryddiaeth
Prif Awdur:	429045 Wilcox, Paul
Fformat:
Iaith:	eng
Cyhoeddwyd:	Boston : Kluwer Academic, 2004
Pynciau:	Integrated circuits

Eitemau Tebyg

Standardized functional verification /
gan: 277114 Wiemann, Alan
Cyhoeddwyd: (2007)

Electronic Design Automation for IC System Design, Verification, and Testing /
gan: Lavagno, Luciano, 1959-, editor 314240, et al.
Cyhoeddwyd: (2018)

Functional verification coverage measurement and analysis /
gan: 219115 Piziali, Andrew
Cyhoeddwyd: (2004)

Effective functional verification : principles and processes /
gan: 215875 Vasudevan, Srivatsa
Cyhoeddwyd: (2006)

Simulation and verification of electronic and biological systems /
gan: Peng Li, et al.
Cyhoeddwyd: (2010)

Verification by error modeling : using testing techniques in hardware verification /
gan: 461327 Radecka, Katarzyna, et al.
Cyhoeddwyd: (2003)

Applied formal verification /
gan: 225698 Perry, Douglas L., et al.
Cyhoeddwyd: (2005)

Layout design and verification/
gan: Tatsuo, Ohtsuki
Cyhoeddwyd: (1986)

Taxonomies for the development and verification of digital systems /
gan: Bailey, Brian, et al.
Cyhoeddwyd: (2005)

A roadmap for formal property verification /
gan: 460865 Dasgupta, Pallab
Cyhoeddwyd: (2006)

Metric-driven design verification : an engineer's and executive's guide to first pass success /
gan: 352844 Carter, Hamilton B., et al.
Cyhoeddwyd: (2007)

Timing verification and performance improvement of MOS VLSI designs / [mikrofilem]
gan: 400592 Jouppi, Norman Paul

SAT-based scalable formal verification solutions /
gan: 262924 Ganai, Malay, et al.
Cyhoeddwyd: (2007)

Hardware design verification : simulation and formal method-based approaches /
gan: Lam, William K. C., 1962-
Cyhoeddwyd: (2005)

Logic synthesis and verification algorithms /
gan: 427444 Hachtel, Gary D., et al.
Cyhoeddwyd: (2006)

Comprehensive functional verification : the complete industry cycle /
gan: 229150 Wile, Bruce, et al.
Cyhoeddwyd: (2005)

Digital system verification : a combined formal methods and simulation framework /
gan: Li, Lun, 1970-, et al.
Cyhoeddwyd: (c201)

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /
gan: 255637 Boule, Marc, et al.
Cyhoeddwyd: (2008)

Active-HDL : complete FPGA verification environment [Compact disc] /
gan: 452746 Wakerly, John F.
Cyhoeddwyd: (2006)

APB bus SPI system level verification based on universal verification methodology
gan: Lyu, Lingkun
Cyhoeddwyd: (2023)

Systemverilog for verification : a guide to learning the testbench language features /
gan: 402772 Spear, Chris
Cyhoeddwyd: (2008)

A functional failure detection method for semiconductor design safety verification
gan: Hai, Zhuoran
Cyhoeddwyd: (2023)

SystemVerilog for verification : a guide to learning the testbench language features /
gan: 402772 Spear, Chris
Cyhoeddwyd: (2006)

Hardware verification with C++ : a practitoner's handbook /
gan: 272566 Mintz, Mike, et al.
Cyhoeddwyd: (2006)

Functional design errors in digital circuits : diagnosis correction and repair /
gan: 235978 Chang, Kai-hui, et al.
Cyhoeddwyd: (2009)

Module level verification for low Power SoC based on universal verification methodology
gan: Zhang, Zijing
Cyhoeddwyd: (2018)

The e hardware verification language /
gan: 326523 Iman, Sasan, et al.
Cyhoeddwyd: (2004)

Advanced formal verification /
gan: Drechsler, Rolf
Cyhoeddwyd: (2004)

Functional verification of programmable embedded architectures : a top-down approach /
gan: Mishra, Prabhat, 1973-, et al.
Cyhoeddwyd: (2005)

Verification methodology manual for SystemVerilog /
gan: Bergeron, Janick
Cyhoeddwyd: (2006)

Hardware verification with C++ [compact disc] : a practitoner's handbook /
gan: 272566 Mintz, Mike, et al.
Cyhoeddwyd: (2006)

Analog circuit design : RF circuits : wide band, front-ends, DACs, design methodology and verification for RF and mixed-signal systems, low power and low voltage /
gan: Workshop of Advances in Analogue Circuit Design. (14th : 2005 : Limerick, Limerick, Ireland), et al.
Cyhoeddwyd: (2005)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
gan: CAV Conference (19th : 2007 : Berlin, Germany), et al.
Cyhoeddwyd: (2007)

Philips professional analog ICs/
Cyhoeddwyd: (1983)

Performance verification of audio converter integrated circuits
gan: Shankar, Nat Udaya.
Cyhoeddwyd: (2008)

Assertion based formal verification using Jaspergold
gan: Tangirala Raghavsimha
Cyhoeddwyd: (2019)

Design and test techniques for VLSI and WSI circuits /
gan: Massara, R. E.
Cyhoeddwyd: (1989)

Advanced electronic circuits /
gan: 341279 Tietze, Ulrich, et al.
Cyhoeddwyd: (1978)

VLSI circuit design methodology demystified : a conceptual taxonomy /
gan: 297211 Xiu, Liming
Cyhoeddwyd: (2008)

Development of a simulator for IC fabrication process using visual C++ /
gan: 225968 Lim, Ai Choo
Cyhoeddwyd: (2005)