Yuri Tatishchev 1ab4ea027d
lab-05: gate level model for 32-bit barrel shifter
Gate level implementation for the following components:
- SHIFT32_L
- SHIFT32_R
- BARREL_SHIFTER32
- SHIFT32
2024-10-19 18:39:16 -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%