電子情報通信学会技術研究報告. VLSI設計技術. VLSI Design TechnologiesTsukiyama, Shuji., et al. “On a Technique to Eliminate False-Paths for the Statistical Static Timing Analysis.” Technical Report of IEICE, The Institute of
In this paper a newdoi:10.1016/0167-9260(89)90047-3L. ClaesenJ.-P. SchuppP. DasP. JohannesS. PerremansH. De ManElsevier B.V.IntegrationClaesen,L. et al.: Efficient False Path Elimination Algorithm for Timing Verification by Event Graph Preprocessing. Integration, the VLSI journal, Vol.2...
I NTRODUCTIONAS very large scale integration (VLSI) process technologyadvances, the noise problem is becoming a major issuefor chip designers. If two nets are physically adjacent, one netmay introduce a glitch noise to another when one is switchingand the other is quiet or a delay noise when ...
The false path detection involves logic extraction from a transistor level netlist and then detecting false paths, with more accurate estimation of the path delays.DasA.SenS.VLSI Design, 1998. Proceedings., 1998 Eleventh International Conference on...
US5638290 1995年4月6日 1997年6月10日 Vlsi Technology, Inc. Method for eliminating a false critical path in a logic circuitUS5638290 * 1995年4月6日 1997年6月10日 Vlsi Technology, Inc. Method for eliminating a false critical path in a logic circuit...
A value propagation (VP) based equivalence checking method of finite state machine with datapaths (FSMD) was proposed in [1] to specifically verify code motion across loops. In this work, we identify some scenarios involving loop invariant code motion where the VP based equivalence checking ...