Yuri Tatishchev bb7e172316
implement a Verilog 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-02 16:18:00 -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%