STATIC TIMING ANALYSIS OF DYNAMICALLY SENSITIZABLE PATHS

被引：0
|
作者：
PERREMANS, S
CLAESEN, L
DEMAN, H
机构：
来源：
26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE | 1989年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：568 / 573
页数：6
相关论文
共 50 条
  • [1] TIMING VERIFICATION USING STATICALLY SENSITIZABLE PATHS
    BENKOSKI, J
    VANDENMEERSCH, E
    CLAESEN, LJM
    DEMAN, H
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (10) : 1073 - 1084
  • [2] Static timing analysis with false paths
    Chen, HZ
    Lu, B
    Du, DZ
    2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2000, : 541 - 544
  • [3] SAT-Based Analysis of Sensitizable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Becker, Bernd
    Polian, Ilia
    IEEE DESIGN & TEST, 2013, 30 (04) : 81 - 88
  • [4] Improving the efficiency of static timing analysis with false paths
    Zhou, S
    Yao, B
    Chen, HY
    Zhu, Y
    Cheng, CK
    Hutton, M
    Collins, T
    Srinivasan, S
    Chou, N
    Suaris, P
    ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, : 527 - 531
  • [5] Propagation of transients along sensitizable paths
    Gangadhar, Sreenivas
    Skoufis, Michael
    Tragoudas, Spyros
    14TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2008, : 129 - 134
  • [6] Techniques to remove false paths in statistical static timing analysis
    Tsukiyama, S
    Tanaka, M
    Fukui, M
    2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 39 - 44
  • [7] <bold>Efficient Static Timing Analysis Using a Unified Framework for False Paths and Multi-Cycle Paths</bold>
    Zhou, Shuo
    Yao, Bo
    Chen, Hongyu
    Zhu, Yi
    Cheng, Chung-Kuan
    Hutton, Mike
    ASP-DAC 2006: 11TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 2006, : 73 - 78
  • [8] Accurate Computation of Sensitizable Paths Using Answer Set Programming
    Andres, Benjamin
    Sauer, Matthias
    Gebser, Martin
    Schubert, Tobias
    Becker, Bernd
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 92 - 101
  • [9] ACCELERATED SENSITIZABLE PATH ALGORITHMS FOR TIMING VERIFICATION BASED ON CODE GENERATION
    CLAESEN, L
    SCHUPP, JP
    DEMAN, H
    1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 885 - 888
  • [10] Slack in static timing analysis
    Vygen, Jens
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (09) : 1876 - 1885
12345