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