Tobi Ajayi's repositories
mdadm-Linear-Device
An implementation of the Linear Device functionality in mdadm for JBOD with caching and networking.
Language:C000
Restoring-Divider
Designed and built a 16-bit restoring divider using Verilog and the resorting division algorithm.
Language:Verilog000
CPU
Designed a 32-bit 5 cycle pipelined CPU that can process and execute MIPS assembly instructions. The 5 cycles are: Instruction Fetch, Instruction Decode, Execute, Memory and, Write-Back
Language:Verilog000
dafny
Dafny is a verification-aware programming language
Language:C#NOASSERTION000