๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Verification Techniques for System-Level Design

โœ Scribed by Masahiro Fujita, Indradeep Ghosh, Mukul Prasad


Publisher
Morgan Kaufmann
Year
2007
Tongue
English
Leaves
251
Series
Systems on Silicon
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


High-Level Verification: Methods and Too
โœ Lerner, Sorin;Gupta, Rajesh K ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer ๐ŸŒ English

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-

System-Level Design Techniques for Energ
โœ Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2005 ๐Ÿ› Springer US ๐ŸŒ English

<p>System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis techniques that allow an effective design of embedded systems with low energy dissipation. The book provides an overview of a system-level co-design flow, illustrating thr

System-Level Design Techniques for Energ
โœ Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles ๐Ÿ“‚ Library ๐Ÿ“… 2010 ๐Ÿ› Springer ๐ŸŒ English

System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis techniques that allow an effective design of embedded systems with low energy dissipation. The book provides an overview of a system-level co-design flow, illustrating throug