Tag: computing

A minimal set of changes for Hex to be a message-passing multiprocessor and X to write parallel programs for it.

Measuring the runtime, memory use and thread scaling of Slang Netlist across the RTLMeter suite of open-source designs, and using it to find undriven inputs in a RISC-V core.

How to build a simple discrete-event simulation with an example in Rust

Thoughts on the requirements of software infrastructure to support chip design.

A rationale and strawman for a processor to accelerate dynamic-language workloads.

A hardware implementation of a Hex processor with some basic tooling, including a complete compiler for a simple programming language.

Choosing seeds for parallel xoroshiro128+ generators using fixed offsets produces correlated outputs.

A short summary of an investigation into the statistical quality and implementation cost in hardware of the xoroshiro128aox PRNG.

Using Hamming codes for single error correction and double error detection.

Details of new chips that have been built recently to accelerate machine intelligence workloads.

A description of a command-line tool I created for tracing timing paths from a flattened netlist back through the RTL.

The rules for composing Vim’s motions and operators.

Coding style for RTL design using Verilog / SystemVerilog. Updated 2024.

Using empirical statistical tests to determine the quality of PRNGs.

A review of state-of-the-art techniques.

Neural networks are developing rapidly and place new demands on computer architecture. A survey of where those demands fall and which of them are hard.

An overview of the key features of the language, many of which derive from occam.

An overview of the XMOS XMP-64 development board, a 64-core parallel machine built from sixteen four-core XS1-G4 devices.

An overview of my PhD thesis.