A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Operational Semantics Based Formal Symbolic Simulation
[chapter]
1993
Higher Order Logic Theorem Proving and its Applications
This paper describes the development of progressively more powerful and abstract hardware simulators. A small computer hardware design and description language picoella 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.
doi:10.1016/b978-0-444-89880-7.50037-1
fatcat:nozribtajbc23pyobaf3mhjhiq