tobiaj10

Building Skynet ;/ 🧑🏾‍💻

Pinned Repositories

dafny
Dafny is a verification-aware programming language
Language:C#2.9k 79 2.7k256
CMPEN454-Project-1
Language:MATLAB00
CMPEN545-Project-2
Language:MATLAB00
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:Verilog00
dafny
Dafny is a verification-aware programming language
Language:C#00
mdadm-Linear-Device
An implementation of the Linear Device functionality in mdadm for JBOD with caching and networking.
Language:C00
Restoring-Divider
Designed and built a 16-bit restoring divider using Verilog and the resorting division algorithm.
Language:Verilog00

tobiaj10/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:Verilog00
tobiaj10/dafny
Dafny is a verification-aware programming language
Language:C#00
tobiaj10/mdadm-Linear-Device
An implementation of the Linear Device functionality in mdadm for JBOD with caching and networking.
Language:C00
tobiaj10/Restoring-Divider
Designed and built a 16-bit restoring divider using Verilog and the resorting division algorithm.
Language:Verilog00