Title：Exact and Heuristic Methods of Generating Compact Tests for Hold-time Violations
Authors: Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue, Kewal K. Saluja
Jounrnals：Workshop on RTL and High Level Testing
Published Month: 11
Published Year: 2012
Type: inproceedings
