vmunoz82 / sudoku-challenge
Solving Sudokus using open source formal verification tools
☆16Updated 2 years ago
Alternatives and similar repositories for sudoku-challenge:
Users that are interested in sudoku-challenge are comparing it to the libraries listed below
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- End-to-End Open-Source I2C GPIO Expander☆31Updated last month
- A current mode buck converter on the SKY130 PDK☆27Updated 3 years ago
- ☆36Updated 2 years ago
- The ILA allows you to perform in-system debugging of your designs on the GateMate FPGA at runtime. All signals of your design inside the …☆50Updated 2 months ago
- https://caravel-mgmt-soc-litex.readthedocs.io/en/latest/☆27Updated last month
- Open Source Verification Bundle for VHDL and System Verilog☆45Updated last year
- Wishbone interconnect utilities☆39Updated last month
- VSDFLOW is an automated solution to programmers, hobbyists and small scale semiconductor technology entrepreneurs who can craft the…☆15Updated 4 years ago
- SystemVerilog RTL Linter for YoSys☆20Updated 3 months ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- ☆20Updated last year
- submission repository for efabless mpw6 shuttle☆30Updated last year
- Open source ISS and logic RISC-V 32 bit project☆43Updated 3 months ago
- ☆46Updated last month
- Specification of the Wishbone SoC Interconnect Architecture☆43Updated 2 years ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆32Updated this week
- ☆33Updated 2 years ago
- ☆39Updated 2 years ago
- A padring generator for ASICs☆25Updated last year
- cryptography ip-cores in vhdl / verilog☆40Updated 4 years ago
- UART models for cocotb☆26Updated 2 years ago
- An automatic clock gating utility☆45Updated 8 months ago
- An open-source HDL register code generator fast enough to run in real time.☆58Updated this week
- Spicing up the first and (no longer) the only EU FPGA chip with a flashy new board, loaded with a suite of engaging demos and examples =>…☆60Updated this week
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- A compact, configurable RISC-V core☆11Updated last month
- FPGA250 aboard the eFabless Caravel☆29Updated 4 years ago
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago