by Mingsong Chen (Author), Heon-Mo Koo (Author), Xiaoke Qin (Author)
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. It helps reader avoid time-consuming and error-prone validation methodologies.
Format: Hardcover
Pages: 272
Edition: 2013
Publisher: Springer
Published: 19 Sep 2012
ISBN 10: 1461413583
ISBN 13: 9781461413585