TERNARY DYNAMIC DIFFERENTIAL NO-RACE LOGIC

被引:3
|
作者
HERRFELD, A
HENTSCHKE, S
机构
[1] 1PM-Digitaltechnik, Kassel, 34121, U-Ghk Kassel-FB 16
关键词
D O I
10.1080/00207219508926251
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
A digital dynamic switching technique for CMOS that can realize ternary functions is introduced. Besides the ease of the design of the switching functions, the positive properties of a low capacitive load, a high noise margin and the need for a standard CMOS process technology should be emphasized. Furthermore, no buffering between cascaded gates is necessary. The effectiveness of the ternary switching technology in contrast to a binary one is demonstrated by the example of an array multiplier.
引用
收藏
页码:63 / 79
页数:17
相关论文
共 50 条
  • [21] Differential dynamic logic for hybrid systems
    Platzer, André
    Journal of Automated Reasoning, 2008, 41 (02): : 143 - 189
  • [22] Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms
    Madhavan, Advait
    Sherwood, Timothy
    Strukov, Dmitri
    2014 ACM/IEEE 41ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA), 2014, : 517 - 528
  • [23] dLι: Definite Descriptions in Differential Dynamic Logic
    Bohrer, Brandon
    Fernandez, Manuel
    Platzer, Andre
    AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 94 - 110
  • [24] 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
  • [25] 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
  • [26] Correction to: Differential Dynamic Logic for Hybrid Systems
    André Platzer
    Journal of Automated Reasoning, 2022, 66 : 173 - 173
  • [27] A Uniform Substitution Calculus for Differential Dynamic Logic
    Platzer, Andre
    AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 467 - 481
  • [28] 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
  • [29] 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
  • [30] Differential-algebraic Dynamic Logic for Differential-algebraic Programs
    Platzer, Andre
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 309 - 352