Yuri Tatishchev 597e245641
lab-03: gate level model for 64-bit ripple carry adder and 32/64-bit twos complement
Gate level implementation for the following components:
- RC_ADD_SUB_64
- TWOSCOMP64
- TWOSCOMP32
2024-10-03 21:30:23 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
2024-10-01 10:39:56 -07:00
Description
CS147DV instruction set implementation in Verilog
348 KiB
Languages
Verilog 96%
Coq 4%