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)
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.
Orangepath HPRLS.
Other Miscellaneous Research Notes
|