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:	Accès à l'E-book

Documents similaires

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)

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

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

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)

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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)

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

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

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

Telecommunication Circuits and Technology
par: Leven, Andrew.

Systems Science and Modeling for Ecological Economics
par: Voinov, Alexey.
Publié: (2008)

SQL Injection Attacks and Defense
par: Clarke, Justin.

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

IPv6 Socket API Extensions : Programmer's Guide
par: Li, Qing.
Publié: (2009)

IPv6 Network Programming
par: Hagino, Jun-ichiro itojun.

RF and Digital Signal Processing for Software-Defined Radio A Multi-Standard Multi-Mode Approach
par: Rouphael, Tony J..

Inside OrCAD Capture for Windows
par: Schroeder, Chris.
Publié: (1998)

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