Related Books

SPECC: Specification Language and Methodology
Language: en
Pages: 326
Authors: Daniel D. Gajski
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growin
System Design
Language: en
Pages: 264
Authors: Andreas Gerstlauer
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

System Design: A Practical Guide with SpecC presents the system design flow following a simple example through the whole process in an easy-to-follow, step-by-s
UML Modeling Languages and Applications
Language: en
Pages: 306
Authors: Nuno Jardim Nunes
Categories: Business & Economics
Type: BOOK - Published: 2005-03-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed joint postproceedings of the satellite activities held at the 7th International Conference on the Unified Modeling
Design of Hardware/Software Embedded Systems
Language: en
Pages: 180
Authors: Eugenio Villar Bonet
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: Ed. Universidad de Cantabria

DOWNLOAD EBOOK

Este libro presenta los desafíos planteados por las nuevas y sumamente poderosas tecnologías de integración de sistemas electrónicos, que están en la base
Verification Techniques for System-Level Design
Language: en
Pages: 251
Authors: Masahiro Fujita
Categories: Computers
Type: BOOK - Published: 2010-07-27 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

This book will explain how to verify SoC (Systems on Chip) logic designs using “formal and “semiformal verification techniques. The critical issue to be add