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 条
  • [41] Elements of Formal Semantics
    Keenan, Edward L.
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 175 - 192
  • [42] REALISM AND FORMAL SEMANTICS
    PEARCE, D
    RANTALA, V
    SYNTHESE, 1982, 52 (01) : 39 - 53
  • [43] A FORMAL SEMANTICS FOR SQL
    MEIRA, S
    MOTZ, R
    TEPEDINO, F
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 34 (1-2) : 43 - 63
  • [44] Formal semantics and ontology
    Kusliy, P. S.
    EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2012, 33 (03): : 62 - 67
  • [45] Contexts in Formal Semantics
    Gauker, Christopher
    PHILOSOPHY COMPASS, 2010, 5 (07) : 568 - 578
  • [46] Frames in Formal Semantics
    Cooper, Robin
    ADVANCES IN NATURAL LANGUAGE PROCESSING, 2010, 6233 : 103 - 114
  • [47] A formal semantics for finalizers
    Leal, MA
    Ierusalimschy, R
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (07) : 1198 - 1214
  • [48] The Meaning of Formal Semantics
    Fox, Chris
    SEMANTICS AND BEYOND: PHILOSOPHICAL AND LINGUISTIC INQUIRIES, 2014, 57 : 85 - 107
  • [49] A VIEW OF FORMAL SEMANTICS
    BOOM, HJ
    NIELSEN, CB
    MCGETTRICK, AD
    MOSSES, PD
    RATTRAY, C
    TENNENT, RD
    WATT, DA
    COMPUTER STANDARDS & INTERFACES, 1989, 9 (01) : 3 - 9
  • [50] A Formal Semantics for Brahms
    Stocker, Richard
    Sierhuis, Maarten
    Dennis, Louise
    Dixon, Clare
    Fisher, Michael
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2011, 6814 : 259 - 274
12345