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
- ☆36Updated 2 years ago
- Open Source Verification Bundle for VHDL and System Verilog☆43Updated last year
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆43Updated this week
- RPHAX provides a quick automation flow to develop and prototype hardware accelerators on Xilinx FPGAs. Currently, the framework has suppo…☆17Updated last year
- VSDFLOW is an automated solution to programmers, hobbyists and small scale semiconductor technology entrepreneurs who can craft the…☆14Updated 4 years ago
- Quick'n'dirty FuseSoC+cocotb example☆18Updated 2 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 9 months ago
- SystemVerilog RTL Linter for YoSys☆19Updated 2 months ago
- https://caravel-mgmt-soc-litex.readthedocs.io/en/latest/☆27Updated 3 weeks ago
- Open source ISS and logic RISC-V 32 bit project☆42Updated 2 months ago
- A current mode buck converter on the SKY130 PDK☆27Updated 3 years ago
- cryptography ip-cores in vhdl / verilog☆40Updated 3 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 11 months ago
- An automatic clock gating utility☆43Updated 7 months ago
- A compact, configurable RISC-V core☆11Updated 2 weeks ago
- ☆33Updated 3 months ago
- Wishbone interconnect utilities☆38Updated last week
- Examples and design pattern for VHDL verification☆15Updated 8 years ago
- ☆31Updated last month
- submission repository for efabless mpw6 shuttle☆30Updated last year
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- ☆39Updated 2 years ago
- ☆20Updated 3 months ago
- End-to-End Open-Source I2C GPIO Expander☆31Updated this week
- PLL Designs on Skywater 130nm MPW☆20Updated last year
- ☆19Updated last year
- A Python package for generating HDL wrappers and top modules for HDL sources☆30Updated last week
- AXI Formal Verification IP☆20Updated 3 years ago
- CologneChip GateMate FPGA Module: GMM-7550☆21Updated last year