A Formal Approach to Hardware Design :: SCD d'Orléans

A Formal Approach to Hardware Design

A Formal Approach to Hardware Design

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Staunstrup, Jørgen
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• A Formal Approach to Hardware Design, 978-1-4613-6193-0

Antzeko izenburuak

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

VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Hardware/Software Co-Design

Hardware Design and Petri Nets

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

Embedded Controller Hardware Design
nork: Arnold, Ken, 1958-
Argitaratua: (2001)

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

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach
nork: Balarin, Felice, et al.

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

Hardware/Firmware Interface Design : Best Practices for Improving Embedded Systems Development
nork: Stringham, Gary

Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design: Principles and Practice

RTL hardware design using VHDL : coding for efficiency, portability, and scalability
nork: Chu, Pong P.
Argitaratua: (2006)

Hardware software co-design of a multimedia SOC platform
nork: Chen, Sao-Jie, et al.
Argitaratua: (2009)

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

Formal methods in system design.
Argitaratua: (2002)

Formal Methods in System Design.

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

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

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

Fuzzy Hardware : Architectures and Applications

Formal and Methodological Approaches to Applied Linguistics
nork: Garzarán, Eduardo Gómez, et al.
Argitaratua: (2021)

Designing embedded hardware
nork: Catsoulis, John
Argitaratua: (2005)

Formal Equivalence Checking and Design Debugging
nork: Huang, Shi-Yu, et al.

Hardware/Software Co-design for Heterogeneous Multi-core Platforms : The hArtes Toolchain
nork: Bertels, Koen
Argitaratua: (2012)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
nork: Petrenko, Alexandre

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

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

Hardware and Computer Organization : The Software Perspective
nork: Berger, Arnold
Argitaratua: (2005)

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

Introduction to hardware security and trust
Argitaratua: (2012)

Hardware Implementation of Intelligent Systems

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

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

The Verilog® Hardware Description Language
nork: Thomas, Donald E., 1951-, 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