Models in hardware testing lecture notes of the forum in honor of Christian Landrault

Co-verification of hardware and software for ARM SoC design
von: Andrews, Jason R.
Veröffentlicht: (2005)

Principles of functional verification
von: Meyer, Andreas, (Andreas S.)
Veröffentlicht: (2003)

Proceedings International Test Conference 2003 [September 30 - October 2, 2003, Charlotte Convention Center, Charlotte, NC, USA]
Veröffentlicht: (2003)

Principles of semiconductor network testing
von: Afshar, Amir
Veröffentlicht: (1995)

Principles of semiconductor network testing
von: Afshar, Amir
Veröffentlicht: (1995)

Wafer-level testing and test during burn-in for integrated circuits
von: Bahukudumbi, Sudarshan
Veröffentlicht: (2010)

Testing of digital systems
von: Jha, Niraj K.
Veröffentlicht: (2003)

Specification and verification of systolic arrays
von: Ling, Nam 1956-
Veröffentlicht: (1999)

EDA for IC system design, verification, and testing
Veröffentlicht: (2006)

The fusion of hardware design and verification proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4 - 6 July, 1988
Veröffentlicht: (1988)

Low power Schottky and macrologic TTL
Veröffentlicht: (1975)

Formal equivalence checking and design debugging
von: Huang, Shi-Yu, et al.
Veröffentlicht: (1998)

Test and diagnosis for small-delay defects
von: Tehranipoor, Mohammad H.
Veröffentlicht: (2012)

ESD failure mechanisms and models
von: Voldman, Steven H.
Veröffentlicht: (2009)

An engineer's guide to automated testing of high-speed interfaces = Automated testing of high-speed interfaces
von: Moreira, José
Veröffentlicht: (2016)

Experiments with integrated circuits the IC electronics toolbox
von: Higgins, Richard J.
Veröffentlicht: (1983)

Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings
Veröffentlicht: (2004)

Verification techniques for system-level design
von: Fujita, Masahiro
Veröffentlicht: (2008)

Software tools for process, device and circuit modelling lecture notes of the short course and digest of the Software Forum held in Dublin, Ireland from 10th to 12th July 1989, in association with the NASECODE VI conference
Veröffentlicht: (1989)

Debugging at the electronic system level
von: Rogin, Frank
Veröffentlicht: (2010)

Computer aided verification 13th international conference, CAV 2001, Paris, France, July 18 - 22, 2001 ; proceedings
Veröffentlicht: (2001)

A computer-aided design and synthesis environment for analog integrated circuits
von: Van der Plas, Geert
Veröffentlicht: (2002)

Compact Models for Integrated Circuit Design
von: Saha, Samar K.

Computer-hardware evaluation of mathematical functions
von: Omondi, Amos
Veröffentlicht: (2016)

Silicon compilation
von: Johnannsen, David L.
Veröffentlicht: (1981)

EDA for IC implementation, circuit design, and process technology
Veröffentlicht: (2006)

25th anniversary compendium of papers from International Test Conference 1970 - 1994
Veröffentlicht: (1994)

... IEEE International Reliability Physics Symposium proceedings ... annual
Veröffentlicht: (1998)

Design for at-speed test, diagnosis, and measurement
Veröffentlicht: (2000)

Algorithms for some design automation problems
von: Cohoon, James P.
Veröffentlicht: (1985)

Integrated electronics
von: Dean, Kenneth J.
Veröffentlicht: (1967)

Correct hardware design and verification methods IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, France, May 24 - 26, 1993 ; proceedings
Veröffentlicht: (1993)

Hardware Security Training, Hands-on!
von: Tehranipoor, Mohammad 1974-, et al.
Veröffentlicht: (2023)

Technology CAD computer simulation of IC processes and devices
von: Dutton, Robert W., et al.
Veröffentlicht: (1993)

Effects of reliability mechanism on VLSI circuit functionality
von: Ellis, Wayne
Veröffentlicht: (2004)

Algorithms for synthesis and testing of asynchronous circuits
von: Lavagno, Luciano, et al.
Veröffentlicht: (1993)