In an SOC-design flow, it isvery important to apply correct and appropriate timing constraints to thedesign. Incorrect timing constraints can lead to on-chip failures. Appropriateand exhaustive timing ...

Abstract: This paper presents a novel approach to determine the sensitization probability of a non-robustly testable path using probability density functions (PDFs). The proposed approach ...

Abstract: We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In order to ...