System-Level Assertion-Based Performance Verification for Embedded Systems.

Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi

Browse the full CSICC paper archive.