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 条
  • [21] Synthesis of high-speed pass-transistor logic
    Oklobdzija, VG
    Duchene, B
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING, 1997, 44 (11): : 974 - 976
  • [22] Differential dynamic logic for hybrid systems
    Platzer, Andre
    JOURNAL OF AUTOMATED REASONING, 2008, 41 (02) : 143 - 189
  • [23] Differential Dynamic Logic for Hybrid Systems
    André Platzer
    Journal of Automated Reasoning, 2008, 41 : 143 - 189
  • [24] Embedding Differential Dynamic Logic in PVS
    Slagel, J. Tanner
    Moscato, Mariano
    White, Lauren
    Munoz, Cesar A.
    Balachandran, Swee
    Dutle, Aaron
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (402):
  • [25] Formally Verified Differential Dynamic Logic
    Bohrer, Brandon
    Rahli, Vincent
    Vukotic, Ivana
    Volp, Marcus
    Platzer, Andre
    PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 208 - 221
  • [26] CMOS TERNARY DYNAMIC DIFFERENTIAL LOGIC
    HERRFELD, A
    HENTSCHKE, S
    ELECTRONICS LETTERS, 1994, 30 (10) : 762 - 763
  • [27] Differential dynamic logic for hybrid systems
    Platzer, André
    Journal of Automated Reasoning, 2008, 41 (02): : 143 - 189
  • [28] Quaternary dynamic differential logic with application to fuzzy-logic circuits
    Herrfeld, A
    Hentschke, S
    27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 215 - 220
  • [29] BiCMOS domino: a novel high-speed dynamic BiCMOS logic
    Menon, SM
    Jayasumana, AP
    Malaiya, YK
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1997, 83 (02) : 177 - 189
  • [30] All-N-logic high-speed true-single-phase dynamic CMOS logic
    Gu, RX
    Elmasry, MI
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1996, 31 (02) : 221 - 229