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 条
  • [31] Using symbolic simulation and weakening abstraction for formal verification of embedded software
    He, Nannan
    Hsiao, Michael S.
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 334 - +
  • [32] A formal approach to modeling agents based on object semantics
    Yuan, MT
    Yu, C
    2005 International Conference on Services Systems and Services Management, Vols 1 and 2, Proceedings, 2005, : 1013 - 1015
  • [33] Verification of PLC Properties Based on Formal Semantics in Coq
    Blech, Jan Olaf
    Biha, Sidi Ould
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 58 - +
  • [34] An ACL2 model of VHDL for symbolic simulation and formal verification
    Rodrigues, VM
    Borrione, D
    Georgelin, P
    13TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2000, : 269 - 274
  • [35] A formal semantics for SPKI
    Howell, J
    Kotz, D
    COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 140 - 158
  • [36] FORMAL SEMANTICS AND LEXICON
    SANDRI, G
    LINGUA E STILE, 1984, 19 (01) : 73 - 100
  • [37] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [38] Distributional formal semantics
    Venhuizen, Noortje J.
    Hendriks, Petra
    Crocker, Matthew W.
    Brouwer, Harm
    INFORMATION AND COMPUTATION, 2022, 287
  • [39] Software and system modeling based on a unified formal semantics
    Broy, M
    Huber, F
    Paech, B
    Rumpe, B
    Spies, K
    REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 43 - 68
  • [40] AN IMPLEMENTATION OF FORMAL SEMANTICS
    DOMINICY, M
    VANDERHOEFT, C
    FRANCAIS MODERNE, 1991, 59 (01): : 36 - 55
12345