Dr. D J Greaves: Minor Research Notes.
Minor Research Notes and Pages
This is my own bloggsite, so not everything is groundbreaking in this section...
MicroCode Formal Equivalence Checking (PIC Processors).
Notes on digital CD mastering techniques.
Greaves Algorithm for Custom VLIW Synthesis (gif)
Dining Philosophers in Bluespec Verilog.
Toy Bluespec Verilog Compiler implemented in F Sharp F#.
How Computers Work.
Mixerton PU17 Microprocessor.
Common Temporal Logic Constructs.
Abstract Programming in Declo-Perative Languages.
Direct Synthesis of Logic Research Note.
Operator Precedence Parser (dual stack) in SML.
A toy Prolog Interpreter in SML.
A toy u-calculus automated theorem prover in SML.
A toy EDA style Event Driven Simulator in SML MOSML.
Model Checker Magic.
Booth's multiplier algorithm in SML.
Reduced Ordered Binary Decision Diagram OBDD in SML.
Revision notes on the four-phase hardware handshake: HERE.
Other Miscellaneous Research Notes