Generating hardware assertion checkers : :: SCD d'Orléans

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the life...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autori principali:	Boulé, Marc, 19..-, Zilic, Zeljko (Autore)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Dordrecht : Springer Netherlands 2008. Cham : Springer Nature
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Generating Hardware Assertion Checkers, Texte imprimé, 9781402085857 • Generating Hardware Assertion Checkers, Texte imprimé, 9789048117611 • Generating Hardware Assertion Checkers, Texte imprimé, 9789048179220

Documenti analoghi

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
di: Radecka, Katarzyna, et al.

Hardware verification with systemverilog : an object-oriented framework
di: Mintz, Mike, et al.
Pubblicazione: (2007)

Formal hardware verification : methods and systems in comparison
di: Kropf, Thomas, 1961-

Chess Checkers Backgammon.
Pubblicazione: (2022)

Scalable Hardware Verification with Symbolic Simulation
di: Bertacco, Valeria
Pubblicazione: (2006)

Hardware verification with C++ : a practitioner s handbook
di: Mintz, Mike, et al.
Pubblicazione: (2006)

Hardware/Software Co-Design and Co-Verification

Designing embedded hardware
di: Catsoulis, John
Pubblicazione: (2005)

Fuzzy Hardware : Architectures and Applications

Cryptographic Algorithms on Reconfigurable Hardware
di: Rodríguez Henríquez, Francisco, 19..-, et al.

Introduction to hardware security and trust
Pubblicazione: (2012)

Hardware/Software Co-Design

Hardware Implementation of Intelligent Systems

The Verilog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

Hardware Design and Petri Nets

The Verilog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

VHDL: Hardware Description and Design
di: Lipsett, Roger, 1953-, et al.

The Verillog® Hardware Description Language
di: Thomas, Donald E., 1951-, et al.

Embedded Controller Hardware Design
di: Arnold, Ken, 1958-
Pubblicazione: (2001)

Hardware and Eco-Feminist Art
di: Reis, Patrícia J., et al.
Pubblicazione: (2025)

Higher-level hardware synthesis
di: Sharp, Richard, 1978-...., chercheur en informatique

Journal of Hardware and Systems Security.

Hardware-dependent software : principles and practice
Pubblicazione: (2009)

Hardware and Computer Organization : The Software Perspective
di: Berger, Arnold
Pubblicazione: (2005)

Co-verification of Hardware and Software for ARM SoC Design
di: Andrews, Jason

Emulation of bursting neurons in neuromorphic hardware based on phase-change materials
di: Meyes, Richard
Pubblicazione: (2015)

Prospects for hardware foundations : ESPRIT Working Group 8533, NADA - new hardware design methods, survey chapters
di: Möller, Bernhard, 1953-

Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

Les journalistes fact-checkers français entre réinvention de la vérification et quête de reconnaissance professionnelle
di: Bigot, Laurent
Pubblicazione: (2018)

Concurrency and hardware design : advances in Petri nets
di: Cortadella, Jordi, 1962-

Towards evolvable hardware : the evolutionary engineering approach
di: Sanchez, Eduardo, 1953-

Software-implemented hardware fault tolerance
di: Goloubeva, Olga, et al.

The Art of Hardware Architecture : Design Methods and Techniques for Digital Circuits
di: Arora, Mohit, 19..-
Pubblicazione: (2012)

Fundamentals and Standards in Hardware Description Languages

Hardware Design and Simulation in VAL/VHDL
di: Augustin, Larry M., et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales