タイトル：Exact and Heuristic Methods of Generating Compact Tests for Hold-time Violations
著者: Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue, Kewal K. Saluja
雑誌名：Workshop on RTL and High Level Testing
発行月: 11
発行年: 2012
タイプ: inproceedings
タイトル：Exact and Heuristic Methods of Generating Compact Tests for Hold-time Violations
著者: Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue, Kewal K. Saluja
雑誌名：Workshop on RTL and High Level Testing
発行月: 11
発行年: 2012
タイプ: inproceedings
