Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra System-Level Validation - 2013 ISBN: 978-1-4614-1359-2 Subjects--Topical Terms: Circuits and SystemsProcessor Architectures Electronics and Microelectronics, InstrumentationEngineering