Logic synthesis technique for high speed differential dynamic logic with asymmetric slope transition

被引:2
|
作者
Morimoto, M [1 ]
Tanaka, Y
Nagata, M
Taki, K
机构
[1] Kobe Univ, Grad Sch Sci & Technol, Kobe, Hyogo 6578501, Japan
[2] Kobe Univ, Dept Syst & Comp Engn, Kobe, Hyogo 6578501, Japan
关键词
logic synthesis; ASDDL; asymmetric slope; differential logic; high speed;
D O I
10.1093/ietfec/e88-a.12.3324
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper proposes a logic synthesis technique for asymmetric slope differential dynamic logic (ASDDL) circuits. The technique utilizes a commercially available logic synthesis toot that has been well established for static CMOS logic design, where an intermediate library is devised for logic synthesis likely as static CMOS, and then a resulting synthesized circuit is translated automatically into ASDDL implementation at the gate-level logic schematic level as well as at the physical-layout level. A design example of an ASDDL 16-bit multiplier synthesized in a 0.18-mu m CMOS technology shows an operation delay time of 1.82 nsec, which is a 32% improvement over a static CMOS design with a static logic standard-cell library that is finely tuned for energy-delay products. Design with the 16-bit multiplier led to a design time for an ASDDL based dynamic digital circuit 300 times shorter than that using a fully handcrafted design, and comparable with a static CMOS design.
引用
收藏
页码:3324 / 3331
页数:8
相关论文
共 50 条
  • [41] A High speed Low Power Adder in Dynamic logic base on Transmission Gate
    Jain, Neeraj
    Gour, Puran
    Shrman, Brahmi
    2015 INTERNATIONAL CONFERENCED ON CIRCUITS, POWER AND COMPUTING TECHNOLOGIES (ICCPCT-2015), 2015,
  • [42] dLι: Definite Descriptions in Differential Dynamic Logic
    Bohrer, Brandon
    Fernandez, Manuel
    Platzer, Andre
    AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 94 - 110
  • [43] ON THE DIFFERENTIAL DYNAMIC LOGIC MODEL FOR HYBRID SYSTEMS
    Chiroiu, Veturia
    Munteanu, Ligia
    Dragne, Ciprian
    Stirbu, Cristina
    ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2018, 61 (04): : 533 - 538
  • [44] A Temporal Differential Dynamic Logic Formal Embedding
    White, Lauren
    Titolo, Laura
    Slagel, J. Tanner
    Munoz, Cesar A.
    PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 162 - 176
  • [45] TERNARY DYNAMIC DIFFERENTIAL NO-RACE LOGIC
    HERRFELD, A
    HENTSCHKE, S
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 79 (01) : 63 - 79
  • [46] Correction to: Differential Dynamic Logic for Hybrid Systems
    André Platzer
    Journal of Automated Reasoning, 2022, 66 : 173 - 173
  • [47] A Uniform Substitution Calculus for Differential Dynamic Logic
    Platzer, Andre
    AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 467 - 481
  • [48] Compositional proofs in differential dynamic logic dL
    Lunel, Simon
    Boyer, Benoit
    Talpin, Jean-Pierre
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 19 - 28
  • [49] The Technique of Controversy. Principles of Dynamic Logic
    不详
    QUARTERLY JOURNAL OF SPEECH, 1938, 14 (04) : 588 - 591
  • [50] Estimate of speed of differential logic elements with noise immunity
    Bubennikov, A.N.
    Bushuev, G.V.
    Radiotekhnika, 1991, (07): : 24 - 29