Dr. D J Greaves: Minor Research Notes.
Minor Research Notes and Pages
This is my own blogsite, so not everything (anything even) is groundbreaking in this section...
MicroCode Formal Equivalence Checking (PIC Processors).
How To Write A Phd Dissertation (aka Thesis),
David J. Greaves PDF.
RTL Serdes Source Code: Serialiser/Deserialiser pair. Includes many classical paradigms: Centre of eye detection using oversampling,
NRZI encoding for polarity insensitivity, frame alignment using an embedded pattern, self-synchronous scrambling.
Verilog RTL implementation of a SERDES pair.
Rents Rule Explorer.
Burrows-Wheeler String Search coded in C#.
Tombstone Diagrams.
Greaves Algorithm for Custom VLIW Synthesis (gif)
Dining Philosophers in Bluespec Verilog.
Toy Bluespec Verilog Compiler implemented in F Sharp F#.
Studio Wiring and Earth Loops.
Mixerton Deadly Quiet PC Power Supply (PSU).
Mixerton HiFi Amplifier Balanced Input
Addition.
TNDJG:0004: I converted my processor design to Bluespec and it went more than twice as fast!
How Computers Work for the Sutton Trust Summer School (several times voted the most popular talk!). Alternate, enhanced/video version is How Computers Work - Philosophically Speaking - Some Basic Hardware and Software Design Principles.
System Design Lecture Notes. Old notes from 1996, updated in 2012, including an introduction to computer hardware and operating systems. There is an extended section on link editing.
Mixerton PU17 Microprocessor.
Common Temporal Logic Constructs.
hello-world-in-linux-assembly-language.
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.
Model Checking a FIFO Queue and LIFO Stack.
Orangepath HPRLS.
Other Miscellaneous Research Notes
|