System-Level Validation High-Level Modeling and Directed Test Generation Techniques /
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, i...
| Main Authors: | Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat (Author) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York : Imprint: Springer,
2013.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
High-Level Modeling and Synthesis of Analog Integrated Systems
by: Martens, Ewout S. J., et al.
Published: (2008) -
High Quality Test Pattern Generation and Boolean Satisfiability
by: Eggersglüß, Stephan, et al.
Published: (2012) -
Disruptive Logic Architectures and Technologies From Device to System Level /
by: Gaillardon, Pierre-Emmanuel, et al.
Published: (2012) -
Parallel Sparse Direct Solver for Integrated Circuit Simulation
by: Chen, Xiaoming, et al.
Published: (2017) -
More than Moore Technologies for Next Generation Computer Design
Published: (2015)