Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra System-Level Validation - New York Springer New York 2013 ISBN: 978-1-4614-1359-2 Subjects--Topical Terms: Circuits and Systems; Electronics and Microelectronics, Instrumentation; Processor Architectures