Beast code in Giters

Rafael Calcada's repositories

RISC-V 32-bit microcontroller developed in Verilog

Language:VerilogMIT168 11 14

Checks the equivalence between AIGs using BDDs

Language:C++NOASSERTION6 2 1

LibSteel is a software library providing an API to control RISC-V Steel

Language:CMIT300

Technology mapper for FPGAs based on And-Inverter Graphs (AIGs) and K-Cuts

Language:C++MIT010