Hardware/Software Co-Design and Co-Verification :: SCD d'Orléans

Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design and Co-Verification

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Rouillard, Jacques (Συνεργάτης), Levia, Oz (Συνεργάτης), Bergé, Jean-Michel (Συνεργάτης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Διαθέσιμο 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
Σημείωση:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hardware/Software Co-Design and Co-Verification, 978-1-4419-5159-5

Παρόμοια τεκμήρια

Co-verification of Hardware and Software for ARM SoC Design
ανά: Andrews, Jason

Hardware/Software Co-Design

Hardware/Software Co-Design: Principles and Practice

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach
ανά: Balarin, Felice, κ.ά.

Hardware software co-design of a multimedia SOC platform
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2009)

Hardware/Software Co-design for Heterogeneous Multi-core Platforms : The hArtes Toolchain
ανά: Bertels, Koen
Έκδοση: (2012)

Hardware-Software Co-Synthesis of Distributed Embedded Systems
ανά: Yen, Ti-Yen, κ.ά.

Co-Synthesis of Hardware and Software for Digital Embedded Systems
ανά: Gupta, Rajesh Kumar

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

Hardware verification with systemverilog : an object-oriented framework
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

Formal hardware verification : methods and systems in comparison
ανά: Kropf, Thomas, 1961-

Hardware verification with C++ : a practitioner s handbook
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

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

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Software as Co-Teacher
ανά: Näser, Torsten, κ.ά.
Έκδοση: (2018)

Hardware-dependent software : principles and practice
Έκδοση: (2009)

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

Software-implemented hardware fault tolerance
ανά: Goloubeva, Olga, κ.ά.

Hardware and software architectures for fault tolerance : experiments and perspectives
ανά: Banâtre, Michel

Software testing, verification & reliability.
Έκδοση: (1992)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick Robert

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick Robert

GIS Software, Hardware, and Sources of GIS Data.
Έκδοση: (2025)

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

Hardware Design and Petri Nets

VHDL: Hardware Description and Design
ανά: Lipsett, Roger, 1953-, κ.ά.

Embedded Controller Hardware Design
ανά: Arnold, Ken, 1958-
Έκδοση: (2001)

Concurrency and hardware design : advances in Petri nets
ανά: Cortadella, Jordi, 1962-

System-level test and validation of hardware/software systems
ανά: Sonza Reorda, Matteo
Έκδοση: (2005)

Verification-based software-fault detection
ανά: Gladisch, Christoph David
Έκδοση: (2021)

Software testing, verification & reliability : STVR.

Quality Procedures for Hardware and Software : A Cost Effective Guide to Establishing a Quality System Contains Manuals and Template Procedures
ανά: Smith, David J., κ.ά.

Formal verification of trusted layers of software : application to the TPM Software Stack
ανά: Ziani, Yani, 1995-
Έκδοση: (2025)

Hardware Design and Simulation in VAL/VHDL
ανά: Augustin, Larry M., κ.ά.

A Formal Approach to Hardware Design
ανά: Staunstrup, Jørgen

Hardware/software architectures for low-power embedded multimedia systems
ανά: Shafique, Muhammad, κ.ά.
Έκδοση: (2011)

© 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