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

A description of how digital circuits are modified to allow scan testing to be performed.

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.

Using empirical statistical tests to determine the quality of PRNGs.

A C++ implementation of a convoluational neural network building on the explanation in Michael Nielsen’s book ‘Neural Networks and Deep Learning’.

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

Neural networks have become a hot topic in computing and their development is progressing rapidly. They have a long history with some of the first …

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

An overview of my PhD thesis.