18 treff

integrated circuits verification
Applied formal verification
Douglas L. Perry, Harry D. Foster
Bok Engelsk 2005 · Vis mer
Co-verification of hardware and software for ARM SoC design
by Jason R. Andrews
Bok Engelsk 2005 · Vis mer
Principles of functional verification
by Andreas Meyer
Bok Engelsk 2004 · Vis mer
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
FMCAD '98
Bok Engelsk 1998 · Vis mer
Hardware design verification : simulation and formal method-based approaches
William K. Lam
Bok Engelsk 2005 · Vis mer
Verification plans : the five-day verification strategy for modern hardware verification languages
by Peet James
Bok Engelsk 2004 · Vis mer
Writing testbenches : functional verification of HDL models
by Janick Bergeron
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
CHARME 2003
Bok Engelsk 2003 · Vis mer
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
CHARME 2001
Bok Engelsk 2001 · Vis mer
Formal verification of hardware design
edited by Michael Yoeli
Bok Engelsk 1990 · Vis mer
Formal hardware verification : methods and systems in comparison
Thomas Kropf (ed.)
Bok Engelsk 1997 · Vis mer
Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
FMCAD 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
FMCAD 2000
Bok Engelsk 2000 · Vis mer
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
FMCAD '96
Bok Engelsk 1996 · Vis mer
Reasoning in Boolean networks : logic synthesis and verification using testing techniques
by Wolfgang Kunz and Dominik Stoffel
Bok Engelsk 1997 · Vis mer
Authentication of embedded devices : technologies, protocols and emerging applications /
Basel Halak, editor.
Bok Engelsk 2021 · Vis mer
Seventh IEEE International High-Level Design Validation and Test Workshop : 27-29 October, 2002, Cannes, France : proceedings
IEEE International High-Level Design Validation and Test Workshop
Bok Engelsk 2002 · Vis mer