RETIMING AND RESYNTHESIS - OPTIMIZING SEQUENTIAL NETWORKS WITH COMBINATIONAL TECHNIQUES

被引:51
|
作者
MALIK, S
SENTOVICH, EM
BRAYTON, RK
SANGIOVANNIVINCENTELLI, A
机构
[1] Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA
基金
美国国家科学基金会;
关键词
D O I
10.1109/43.62793
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Sequential networks contain combinational logic blocks separated by registers. Application of combinational logic minimization techniques to the separate logic blocks results in improvement that is restricted by the placement of the registers; information about logical dependencies between blocks separated by registers is not utilized. Temporarily moving all the registers to the periphery of a network provides the combinational logic minimization tools with a global view of the logic. We propose a technique for optimizing a sequential network by moving the registers to the boundary of the network using an extension of retiming [8], [9], resynthesizing the combinational logic between the registers using existing logic minimization techniques, and replacing the registers throughout the network using retiming algorithms. © 1991 IEEE
引用
收藏
页码:74 / 84
页数:11
相关论文
共 50 条
  • [1] Sequential optimization with retiming and resynthesis
    Huang, ZL
    Ye, YZ
    Mao, ZG
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 736 - 740
  • [2] Sequential Engineering Change Order under Retiming and Resynthesis
    Lee, Nian-Ze
    Kravets, Victor N.
    Jiang, Jie-Hong R.
    [J]. 2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2017, : 109 - 116
  • [3] Optimizing sequential verification by retiming transformations
    Cabodi, G
    Quer, S
    Somenzi, F
    [J]. 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 601 - 606
  • [4] Retiming and resynthesis: A complexity perspective
    Jiang, Jie-Hong R.
    Brayton, Robert K.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (12) : 2674 - 2686
  • [5] Optimizing sequential cycles through Shannon decomposition and retiming
    Soviani, Ctistian
    Tardieu, Olivier
    Edwards, Stephen A.
    [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1084 - +
  • [6] Optimizing sequential cycles through Shannon decomposition and retiming
    Soviani, Cristian
    Tardieu, Olivier
    Edwards, Stephen A.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2007, 26 (03) : 456 - 467
  • [7] Resynthesis and retiming for optimum partial scan
    Chakradhar, ST
    Dey, S
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (05) : 621 - 630
  • [8] On the optimization power of retiming and resynthesis transformations
    Ranjan, RK
    Singhal, V
    Somenzi, F
    Brayton, RK
    [J]. 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 402 - 407
  • [9] On some transformation invariants under retiming and resynthesis
    Jiang, JHR
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 413 - 428
  • [10] Inductive equivalence checking under retiming and resynthesis
    Jiang, Jie-Hong R.
    Hung, Wei-Lun
    [J]. IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 326 - 333