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).

  • Tombstone Diagrams.

  • 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#.

  • TNDJG:0004: I converted my processor design to Bluespec and it went more than twice as fast!

  • 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