© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The functional simulation of a simple microprocessor
Steve Hill
Technical Report 17-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.Abstract
This paper documents the microprocessor simulator developed to support the teaching digital systems to undergraduate computer scientists. The framework of the simulation is described, and two variant machines, register-based and stack-based, are given. Finally, a more abstract version of the register machine is detailed.
Download publication
54 kbytes
Bibtex Record
@techreport{75, author = {Steve Hill}, title = {The Functional Simulation of a Simple Microprocessor}, month = {September}, year = {1994}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1994/75}, address = {University of Kent, Canterbury, UK}, hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/17-94}, hensa_ftpaddress = {unix.hensa.ac.uk}, hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/17-94.ps.Z}, institution = {University of Kent, Computing Laboratory}, number = {17-94*}, }