Page Not Found
-->Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About Matthew McRaven
-->About me
CV
-->Page not in menu
-->This is a page not in the main menu
Page Archive
-->Portfolio
-->Sitemap
-->Talk map
-->Blog posts
-->Posts
Future Blog Post
Published:
-->This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Future Blog Post
Published:
-->This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
papers
Pep9Milli: Verification of CISC Processors using Software Verification Tools
Published in N/A, 2020
-->This paper introduces a process for using open-source software verification tools to verify the correctness of CISC microprocessors.
Recommended citation: McRaven, Matthew. (2020). "Pep9Milli: Verification of CISC Processors using Software Verification Tools." http://matthew-mcraven.github.io/files/pep9millitex.pdf
portfolio
Pep/10 Suite
Published:
-->Short description of portfolio item number 1
Pep/9 Suite
Published:
-->Short description of portfolio item number 1
Pep9Milli
Published:
-->Short description of portfolio item number 2
talks
Pep9Micro: Designing a Microcoded CPU
Published:
-->Pep/9 is a 16-bit CISC computer with eight addressing modes used to teach assembly language programming and computer systems concepts. Students program with the applications Pep9 and Pep9CPU, which simulate the Pep/9 computer at two different levels of abstraction. Pep9 allows students to program in assembly language and execute their programs on the virtual machine simulator. At a lower level of abstraction, Pep9CPU allows students to program microcode fragments that implement individual assembly language instructions. This poster describes the development of a third virtual machine, Pep9Micro, that extends the capabilities of Pep9 and Pep9CPU by designing a microcode implementation of the complete Pep/9 instruction set. It provides the assembler from Pep9 and the CPU simulator of Pep9CPU so that complete assembly language programs can be executed at the microcode level spanning two levels of abstraction. Pep9Micro extends the Pep9CPU microcode language with conditional microcode branch instructions and the design of a microcode store. Pep9, Pep9CPU, and Pep9Micro are support software for the text Computer Systems by J. Stanley Warford, and are available on GitHub as open source projects.
Pep9Micro: Merging abstractions
Published:
-->This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
Pep9Milli: Symbolic Verification of a CISC Processor
Published:
-->This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.