High-Level Modeling and Directed Test Generation Techniques
by
Prabhat Mishra, Heon-Mo Koo, Mingsong Chen
Language: English
Release Date: September 25, 2012
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,...