Co-verification of Hardware and Software for ARM SoC Design

Co-verification of Hardware and Software for ARM SoC Design

Enregistré dans:

Détails bibliographiques
Auteur principal:	Andrews, Jason. (Auteur)
Support:	E-Book
Langue:	Anglais
Publié:	Burlington, MA, USA : Elsevier Science & Technology Books, [20..]
Sujets:	Computer software > Verification. Integrated circuits > Verification. Systems on a chip.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-Book
Lien:	Autre support: Co-verification of hardware and software for ARM SoC design / by Jason R. Andrews

Documents similaires

Principles of Functional Verification
par: Meyer, Andreas.
Publié: (2003)

Software Design for Engineers and Scientists
par: Robinson, John Allen.

Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
par: Drusinsky, Doron.
Publié: (2006)

Hardware and Computer Organization : The Software Perspective
par: Berger, Arnold.
Publié: (2005)

Software engineering for embedded systems methods, practical techniques, and applications
par: Oshana, Robert.
Publié: (2013)

L'audit interne : permanence et actualité
par: Barbier, Etienne.
Publié: (1995)

Embedded Controller Hardware Design
par: Arnold, Ken (1958-....).
Publié: (2001)

Analog circuit design : a tutorial guide to applications and solutions
par: Dobkin, Bob.
Publié: (2011)

Visual usability : principles and practices for designing digital applications
par: Schlatter, Tania.
Publié: (2013)

Audit, 20-21 : commissariat aux comptes
Publié: (2019)

Design patterns for embedded systems in C : an embedded software engineering Toolkit
par: Douglass, Bruce Powel.
Publié: (2011)

Embedded systems security : practical methods for safe and secure software and systems development
par: Kleidermacher, David.
Publié: (2012)

DSP software development techniques for embedded and real-time systems
par: Oshana, Robert.

HardwareFirmware Interface Design Best Practices for Improving Embedded Systems Development
par: Stringham, Gary.

CMOS IC Layout Concepts, Methodologies, and Tools
par: Clein, Dan (1958...).

Software Development for Embedded Multi-core Systems A Practical Guide Using Embedded Intel Architecture
par: Domeika, Max.

The Art and Science of Analog Circuit Design
par: Williams, Jim.

Audit et informatique
par: Raffegeau, Jean.
Publié: (1993)

Le guide de l'audit interne : défis et enjeux, théorie et pratique
par: Litvak, Guillaume.
Publié: (2019)

Les nouvelles pratiques de l'audit qualité interne
par: Krebs, Geneviève, 1966-
Publié: (2007)

Software engineering architecture-driven software development
par: Schmidt, Richard F..
Publié: (2013)

Trojans, Worms, and Spyware A Computer Security Professional's Guide to Malicious Code
par: Erbschloe, Michael (1951-....).

Améliorer la maintenance du logiciel
par: April, Alain.

Construction et maintenance de logiciel : un point de vue pratique
par: Gabrini, Philippe J. (1940-....).
Publié: (2006)

Théorie et pratique de l'audit interne
par: Renard, Jacques, 1930-
Publié: (2017)

Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
par: Stefanov, Stoyan.
Publié: (2008)

Analog Circuits World Class Designs
par: Pease, Robert A. (1940-....).

RF and Microwave Integrated Circuits : Passive Components and Control Devices
par: Maloratsky, Léo G. (19..-....).
Publié: (2003)

Cryptography for Developers
par: St. Denis, Tom (19..-....).
Publié: (2006)

The PIC Microcontroller : Your Personal Introductory Course
par: Morton, John Julian Larrarte.
Publié: (2005)

Telecommunication Circuits and Technology
par: Leven, Andrew.

The Basics of Hacking and Penetration Testing Ethical Hacking and Penetration Testing Made Easy
par: Engebretson, Patrick (1974-....).
Publié: (2013)

Tru64 UNIX Troubleshooting : Diagnosing and Correcting System Problems
par: Moore, Martin (1970-....).
Publié: (2002)

Audit financier
par: Simons, Pascal.
Publié: (1987)

Virtualization Security Protecting Virtualized Environments
par: Shackleford, Dave.
Publié: (2012)

Circuits logiques
par: Maldague, Xavier P. V..

Principles of Semiconductor Network Testing
par: Afshar, Amir.

Analyse financière et audit des performances
par: Richard, Jacques, 1944-
Publié: (1993)

Andersen : insécurité dans l'audit
par: Remize, Michel.
Publié: (2002)

L'audit de systèmes de management : guide des pratiques ISO 19011:2018 & ISO/IEC 17021-1:2015
par: Weber, François.
Publié: (2019)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1