Title | Dependent Latch Identification in the Reachable State Space |
Author | Chen-Hsuan Lin, *Chun-Yao Wang (National Tsing Hua Univ., Taiwan) |
Page | pp. 630 - 635 |
Detailed information (abstract, keywords, etc) |
Title | Complete-k-Distinguishability for Retiming and Resynthesis Equivalence Checking without Restricting Synthesis |
Author | Nikolaos Liveris, *Hai Zhou (Northwestern Univ., United States), Prithviraj Banerjee (HP Labs, United States) |
Page | pp. 636 - 641 |
Detailed information (abstract, keywords, etc) |
Title | Multi-Clock SVA Synthesis without Re-writing |
Author | *Jiang Long, Andrew Seawright, Paparao Kavalipati (Mentor Graphics Corp., United States) |
Page | pp. 648 - 653 |
Detailed information (abstract, keywords, etc) |
Title | Automatic Formal Verification of Clock Domain Crossing Signals |
Author | *Bing Li, Chris Ka-Kei Kwok (Mentor Graphics Corp., United States) |
Page | pp. 654 - 659 |
Detailed information (abstract, keywords, etc) | |
Slides |