Related Books

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 address
High-Level Verification
Language: en
Pages: 176
Authors: Sudipta Kundu
Categories: Technology & Engineering
Type: BOOK - Published: 2011-05-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly com
Reconfigurable System Design and Verification
Language: en
Pages: 287
Authors: Pao-Ann Hsiung
Categories: Computers
Type: BOOK - Published: 2018-10-08 - Publisher: CRC Press

DOWNLOAD EBOOK

Reconfigurable systems have pervaded nearly all fields of computation and will continue to do so for the foreseeable future. Reconfigurable System Design and Ve
System-level Test and Validation of Hardware/Software Systems
Language: en
Pages: 187
Authors: Matteo Sonza Reorda
Categories: Technology & Engineering
Type: BOOK - Published: 2006-03-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, termed system-on-chip (SOC), tog
Embedded System Design
Language: en
Pages: 368
Authors: Daniel D. Gajski
Categories: Technology & Engineering
Type: BOOK - Published: 2009-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both