Mingsong Chen system-Level Validation - 2013 - springer 2013 ISBN: 9781461413592 Subjects--Topical Terms: Electronic Circuits and systemsEngineering