Advanced formal verification /

Advanced formal verification /

16

Bibliographic Details
Main Author:	Drechsler, Rolf
Format:
Language:	eng
Published:	Dordrecht : Kluwer Academic Publishers, 2004
Subjects:	Electronic circuits

Similar Items

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

Assertion based formal verification using Jaspergold
by: Tangirala Raghavsimha
Published: (2019)

A roadmap for formal property verification /
by: 460865 Dasgupta, Pallab
Published: (2006)

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

Design and implementation of formal verification tool for combinational circuits using automatic test pattern generation
by: Tan, Sue Yee.
Published: (2010)

Professional verification : a guide to advanced functional verification /
by: 429045 Wilcox, Paul
Published: (2004)

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

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

Advance information
Published: ([19-)

Advanced electronic circuits /
by: 341279 Tietze, Ulrich, et al.
Published: (1978)

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

Integrated Design Validation: Combining Simulation and Formal Verification for Digital Integrated Circuits
by: Lun Li, et al.
Published: (2006-04-01)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
by: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), et al.
Published: (2006)

Automated Verification and Optimization of SFQ Superconducting Circuits
by: Andrew M. Haslam, et al.
Published: (2019-01-01)

Advanced electronic circuit design /
by: 392773 Comer, David J., et al.
Published: (2003)

Integrated platform for design and verification of digital FIR filters
by: Sharma Udit
Published: (2008)

Advances in electronic circuit packaging
by: International Electronic Circuit Packaging Symposium (1960 : Boulder)
Published: (1961)

Electronic design automation : synthesis, verification, and test /
by: Wang, Laung-Terng, et al.
Published: (2009)

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

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 /
by: Workshop of Advances in Analogue Circuit Design. (14th : 2005 : Limerick, Limerick, Ireland), et al.
Published: (2005)

Robustness and usability in modern design flows /
by: 409531 Fey, Gorschwin, et al.
Published: (2008)

Top-down design verification of subranging pipelined analog-to-digital converter
by: Wang, Jin Ling
Published: (2010)

Recent advances in circuits and systems /
by: Mastorakis, Nikos E.
Published: (1998)

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

Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016)

Reliability verification of high power LED modulus with load balancing technology for voltage source
by: Li, Jian
Published: (2014)

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

Standardized functional verification /
by: 277114 Wiemann, Alan
Published: (2007)

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

Advanced AC circuits and electronics : principles & applications /
by: 248706 Jacob, J. Michael
Published: (2003)

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

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

Formal aspect of VLSI design/
by: Milne, George J., et al.
Published: (1986)

Layout design and verification/
by: Tatsuo, Ohtsuki
Published: (1986)

Formal method-agent based verification design
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)

Design and implementation of formal verification methodology using Boolean satisfiability
by: Phone, Thet Khaing.
Published: (2011)

Advanced AC circuits and electronics [compact disc] : principles & applications /
by: 248706 Jacob, J. Michael
Published: (2003)

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

Functional verification coverage measurement and analysis /
by: 219115 Piziali, Andrew
Published: (2004)

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