Title:Fast False Path Identification Based on Functional Unsensitizability Using RTL Information

Authors: Yuki Yoshikawa, Satoshi Ohtake, Tomoo Inoue, Hideo Fujiwara

Jounrnals:Proc. the 14th Asia and South Pacific Design Automation Conference (ASP-DAC)

Pages: 660-665

Published Month: 1

Published Year: 2009

Type: inproceedings