formal-methods formal-verification hardware-verification model-checking satisfiability-modulo-theories systemverilog verilog

microcontroller openhwgroup riscv systemverilog

coprocessor risc-v systemverilog vector-processor

direct-digital-synthesis rfsoc systemverilog

digital-design systemverilog systemverilog-hdl

fpga riscv systemverilog

adder arithmetic-circuit integer-arithmetic kogge-stone-adder register-transfer-level systemverilog