School of Computing

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*},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014