GitHub repository: niklasent/rebecca
Primary language: Verilog
Description: Masked hardware verifier