Home Home >
Reference >
Computers >
Computer architecture >
Computer Hardware Description Languages and their Applications

Computer Hardware Description Languages and their Applications

Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 Sponsored by IFIP WG10.2 and in cooperation with IEEE...

D. Agnew, L. Claesen, R. Camposano

North Holland
Publication date : 2014-05-21

Voir les informations d'accessibilité

Add to basket

£131,88

Download no DRM

Add to my wish list

Louise Reader

Read on Louise Reader App.

Get £19.78 by recommending this book

Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

About the book

Author

D. Agnew , L. Claesen , R. Camposano

Imprint

North Holland

Collection

n.c

Publication date

2014-05-21

Pages

618 pages

Print ISBN

9780444816412

Language

English

Ebook informations

EAN PDF DRM-FREE

9781483298023

Price

£131.88

Informations accessibility

Compatibility

To check the compatibility with your devices,
see help page

About author(s)

D. Agnew

L. Claesen

R. Camposano

You may also be interested in...