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
- 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 3 months ago
- ☆36Updated 2 years ago
- Wishbone interconnect utilities☆41Updated 3 months ago
- https://caravel-mgmt-soc-litex.readthedocs.io/en/latest/☆27Updated 3 months ago
- A padring generator for ASICs☆25Updated last year
- Open Source Verification Bundle for VHDL and System Verilog☆45Updated last year
- End-to-End Open-Source I2C GPIO Expander☆31Updated last month
- SystemVerilog RTL Linter for YoSys☆20Updated 5 months ago
- VSDFLOW is an automated solution to programmers, hobbyists and small scale semiconductor technology entrepreneurs who can craft the…☆16Updated 4 years ago
- ☆21Updated last year
- Open source ISS and logic RISC-V 32 bit project☆52Updated last week
- Hamming ECC Encoder and Decoder to protect memories☆32Updated 3 months ago
- Extensible FPGA control platform☆60Updated 2 years ago
- A current mode buck converter on the SKY130 PDK☆27Updated 3 years ago
- ☆33Updated 2 years ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆32Updated this week
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated 11 months ago
- ☆45Updated 3 months ago
- ☆25Updated this week
- A collection of debugging busses developed and presented at zipcpu.com☆41Updated last year
- ☆14Updated last month
- Open FPGA Modules☆23Updated 7 months ago
- SystemVerilog FSM generator☆30Updated last year
- An automatic clock gating utility☆47Updated 3 weeks ago
- ☆39Updated 2 years ago
- ☆31Updated 4 months ago
- ☆59Updated 3 years ago
- An abstract language model of VHDL written in Python.☆52Updated this week
- RISC-V SoC Physical Implementation in 180 nm CMOS with a Quark Core Based on FemtoRV32☆45Updated last year