OPERATIONAL SEMANTICS BASED FORMAL SYMBOLIC SIMULATION

被引：0
|
作者：
GOOSSENS, KGW [1 ]
机构：
[1] UNIV EDINBURGH,DEPT COMP SCI,LAB FDN COMP SCI,EDINBURGH EH9 3JZ,MIDLOTHIAN,SCOTLAND
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1993年 / 20卷
关键词：
DEDUCTION AND THEOREM PROVING; INTEGRATED CIRCUITS; DESIGN AIDS; LOGICS AND MEANING OF PROGRAMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes the development of progressively more powerful and abstract hardware simulators. A small computer hardware design and description language pico-ELLA is then introduced, followed by its formal semantics. Using a number of small examples, we will then show the how this formal semantics may be used within a proof system as a sophisticated simulation tool. Examples include some full adders, a general N bit adder, and two parity checkers.
引用
收藏
页码：487 / 506
页数：20
相关论文
共 50 条
  • [1] A formal operational semantics for SOFL
    Ho-Stuart, C
    Liu, SY
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 52 - 61
  • [2] A FORMAL OPERATIONAL SEMANTICS FOR LANGUAGES OF TYPE PROLOG III
    BORGER, E
    SCHMITT, PH
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 67 - 79
  • [3] FORMAL SEMANTICS FOR A SYMBOLIC IC DESIGN TECHNIQUE - EXAMPLES AND APPLICATIONS
    RAJOPADHYE, SV
    SUBRAHMANYAM, PA
    INTEGRATION-THE VLSI JOURNAL, 1985, 3 (01) : 13 - 32
  • [4] Simulation of operational semantics of machine instructions
    V. A. Padaryan
    M. A. Solov’ev
    A. I. Kononov
    Programming and Computer Software, 2011, 37 : 161 - 170
  • [5] Simulation of operational semantics of machine instructions
    Padaryan, V. A.
    Solov'ev, M. A.
    Kononov, A. I.
    PROGRAMMING AND COMPUTER SOFTWARE, 2011, 37 (03) : 161 - 170
  • [6] A Symbolic Operational Semantics for TESL With an Application to Heterogeneous System Testing
    Hai Nguyen Van
    Balabonski, Thibaut
    Boulanger, Frederic
    Keller, Chantal
    Valiron, Benoit
    Wolff, Burkhart
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 318 - 334
  • [7] Formal verification of data-path circuits based on symbolic simulation
    Morihiro, Y
    Yoneda, T
    PROCEEDINGS OF THE NINTH ASIAN TEST SYMPOSIUM (ATS 2000), 2000, : 329 - 336
  • [8] Formal verification of data-path circuits based on symbolic simulation
    Morihiro, Y
    Yoneda, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (06) : 965 - 974
  • [9] An Operational Semantics for Simulink's Simulation Engine
    Bouissou, Olivier
    Chapoutot, Alexandre
    ACM SIGPLAN NOTICES, 2012, 47 (05) : 129 - 138
  • [10] Symbolic Macromodeling for Statistical Simulation of Operational Amplifiers
    Lan-Lan Dong
    Guo-Yong Shi
    Jian-Dong Cheng
    Journal of Electronic Science and Technology, 2013, 11 (03) : 272 - 276
12345