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
相关论文
共 50 条
  • [41] Detecting the termination of asynchronous distributed cooperative computations
    Al-Fayoumi, Nabeel
    International Journal of Parallel and Distributed Systems and Networks, 2002, 5 (03): : 129 - 133
  • [42] Asynchronous design by conversion: Converting synchronous circuits into asynchronous ones
    Branover, A
    Kol, R
    Ginosar, R
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 870 - 875
  • [43] DECOMPOSITION OF A SYNCHRONOUS MACHINE INTO AN ASYNCHRONOUS SUBMACHINE DRIVING A SYNCHRONOUS ONE
    GERACE, GB
    GESTRI, G
    INFORMATION AND CONTROL, 1968, 12 (5-6): : 538 - &
  • [44] From synchronous to asynchronous: an automatic approach
    Cortadella, J
    Kondratyev, A
    Lavagno, L
    Lwin, K
    Sotiriou, C
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1368 - 1369
  • [45] Simulator partitions synchronous and asynchronous blocks
    Lipman, J
    EDN, 1996, 41 (04) : 32 - 32
  • [46] CALMODULIN, SYNCHRONOUS AND ASYNCHRONOUS RELEASE OF NEUROTRANSMITTER
    PUBLICOVER, SJ
    COMPARATIVE BIOCHEMISTRY AND PHYSIOLOGY A-PHYSIOLOGY, 1985, 82 (01): : 7 - 11
  • [47] Handoff between asynchronous and synchronous systems
    Sarkar, S
    Terasawa, D
    Tiedemann, E
    2000 IEEE 51ST VEHICULAR TECHNOLOGY CONFERENCE, PROCEEDINGS, VOLS 1-3, 2000, : 2329 - 2333
  • [48] Synchronous, asynchronous and plesyochronous transmission systems
    Kim, L.T.
    Elektrosvyaz, 1998, (01): : 17 - 20
  • [49] On the validity of encodings of the synchronous in the asynchronous π-calculus
    van Glabbeek, Rob J.
    INFORMATION PROCESSING LETTERS, 2018, 137 : 17 - 25
  • [50] Reluctance synchronous motor asynchronous operation
    Ferraz, CAMD
    de Souza, CR
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 195 - 200
12345