SYNCHRONOUS REALIZATION OF ASYNCHRONOUS COMPUTATIONS

被引：0
作者：
LOVENGREEN, HH
STAUNSTRUP, J
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 10卷
关键词：
INTEGRATED CIRCUITS; TYPES AND DESIGN STYLES; MODELS OF COMPUTATION; DEDUCTION AND THEOREM PROVING;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A circuit can be described as an asynchronous computation. Such an abstract description allows formal verification and refinement. However, to realize the description as a traditional clocked circuit, a synchronous description is more appropriate. We present a sufficient condition, called an implementation condition, on an asynchronous program which allows a very simple transformation into a synchronous circuit. To check that a given program meets the implementation condition we use a mechanical theorem prover and a front end to generate the proof obligations from the asynchronous circuit description.
引用
收藏
页码：95 / 110
页数：16
相关论文
共 42 条
  • [21] Integrated Asynchronous Ultrawideband Impulse Radio With Intrinsic Clock and Data Recovery
    Hu, Qisong
    Tang, Xiaochen
    Tang, Wei
    IEEE MICROWAVE AND WIRELESS COMPONENTS LETTERS, 2017, 27 (04) : 416 - 418
  • [22] CaBaFL: Asynchronous Federated Learning via Hierarchical Cache and Feature Balance
    Xia, Zeke
    Hu, Ming
    Yan, Dengke
    Xie, Xiaofei
    Li, Tianlin
    Li, Anran
    Zhou, Junlong
    Chen, Mingsong
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (11) : 4057 - 4068
  • [23] Translating Synchronous Guarded Actions to Interleaved Guarded Actions
    Gesell, Manuel
    Schneider, Klaus
    2013 ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE 2013), 2013, : 167 - 176
  • [24] Oversampling Synchronous Envelope Detection for Resolver-to-Digital Conversion
    Wang, Kan
    Wu, Zhong
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2020, 67 (06) : 4867 - 4876
  • [25] OTA-C Realization of PIλ Brake and Throttle Controllers for Autonomous Vehicles
    Dimeas, Ilias
    Psychalinos, Costas
    Elwakil, Ahmed
    Tepljakov, Aleksei
    2017 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN (ECCTD), 2017,
  • [26] REALIZATION OF A DPCM CODER FOR 13.5-MHZ SAMPLING RATE IN CMOS TECHNOLOGY
    ROTHERMEL, A
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1987, 22 (06) : 1196 - 1197
  • [27] Toward the Realization of a Programmable Metasurface Absorber Enabled by Custom Integrated Circuit Technology
    Kossifos, Kypros M.
    Petrou, Loukas
    Varnava, Giorgos
    Pitilakis, Alexandros
    Tsilipakos, Odysseas
    Liu, Fu
    Karousios, Petros
    Tasolamprou, Anna C.
    Seckel, Manuel
    Manessis, Dionysios
    Kantartzis, Nikolaos, V
    Kwon, Do-Hoon
    Antoniades, Marco A.
    Georgiou, Julius
    IEEE ACCESS, 2020, 8 : 92986 - 92998
  • [28] Realization of an IGBT Gate Driver With Dualphase Turn-On/Off Gate Control
    Chen, You-Da
    Chin, Albert
    IEEE JOURNAL OF THE ELECTRON DEVICES SOCIETY, 2020, 8 (08): : 1089 - 1095
  • [29] Realization of OTRA-Based Quadrature Oscillator Using Third-Order Topology
    Nagar, Bal Chand
    Paul, Sajal K.
    ADVANCES IN SYSTEMS, CONTROL AND AUTOMATION, 2018, 442 : 375 - 386
  • [30] Integrated Synchronous Electric Charge Extraction System for Piezoelectric Energy Harvesters
    Aguayo, Adrian Enriquez
    Paul, Oliver
    Galchev, Tzeno
    2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 1090 - 1093
12345