Hardware verification with C++ : :: SCD d'Orléans

Hardware verification with C++ : a practitioner s handbook

Hardware verification with C++ : a practitioner s handbook

Written by two verification engineers, Hardware Verification with C++: A Practitioner s Handbook is a four-part tour of how to perform object-oriented techniques. Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two ope...

保存先:

書誌詳細
主要な著者:	Mintz, Mike, Ekendahl, Robert (著者)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	New York, NY : Springer US 2006. Cham : Springer Nature
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hardware Verification with C++, Texte imprimé, 9780387255439 • Hardware Verification with C++, Texte imprimé, 9780387506463 • Hardware Verification with C++, Texte imprimé, 9781489978974

類似資料

Hardware verification with systemverilog : an object-oriented framework
著者:: Mintz, Mike, 等
出版事項: (2007)

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

Scalable Hardware Verification with Symbolic Simulation
著者:: Bertacco, Valeria
出版事項: (2006)

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

Hardware/Software Co-Design and Co-Verification

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

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

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
著者:: Geist, Daniel

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
著者:: James, Peet

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
著者:: Radecka, Katarzyna, 等

Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring
著者:: Boulé, Marc, 19..-, 等
出版事項: (2008)

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

Fuzzy Hardware : Architectures and Applications

Designing embedded hardware
著者:: Catsoulis, John
出版事項: (2005)

Hardware-dependent software : principles and practice
出版事項: (2009)

Hardware and Computer Organization : The Software Perspective
著者:: Berger, Arnold
出版事項: (2005)

A Practical Introduction to Hardware/Software Codesign
著者:: Schaumont, Patrick Robert

A Practical Introduction to Hardware/Software Codesign
著者:: Schaumont, Patrick Robert

La vérification
著者:: Granger, Gilles-Gaston, 1920-2016
出版事項: (1991)

La Vérification
著者:: Granger, Gilles-Gaston, 1920-2016
出版事項: (2022)

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

Introduction to hardware security and trust
出版事項: (2012)

Hardware/Software Co-Design

Hardware Implementation of Intelligent Systems

The Verilog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

The Verilog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

The Verilog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

Hardware Design and Petri Nets

The Verilog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

The Verilog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

Cryptographic Algorithms on Reconfigurable Hardware
著者:: Rodríguez Henríquez, Francisco, 19..-, 等

VHDL: Hardware Description and Design
著者:: Lipsett, Roger, 1953-, 等

The Verillog® Hardware Description Language
著者:: Thomas, Donald E., 1951-, 等

Embedded Controller Hardware Design
著者:: Arnold, Ken, 1958-
出版事項: (2001)

© 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