vmunoz82 / sudoku-challengeLinks
Solving Sudokus using open source formal verification tools
☆17Updated 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
Sorting:
- End-to-End Open-Source I2C GPIO Expander☆32Updated 3 months ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆36Updated 2 years ago
- RPHAX provides a quick automation flow to develop and prototype hardware accelerators on Xilinx FPGAs. Currently, the framework has suppo…☆19Updated 2 years ago
- ☆59Updated 3 years ago
- Wishbone interconnect utilities☆41Updated 4 months ago
- Open Source Verification Bundle for VHDL and System Verilog☆45Updated last year
- 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 …☆51Updated last month
- UART models for cocotb☆29Updated 2 years ago
- SystemVerilog RTL Linter for YoSys☆20Updated 7 months ago
- cryptography ip-cores in vhdl / verilog☆41Updated 4 years ago
- A collection of debugging busses developed and presented at zipcpu.com☆41Updated last year
- ☆33Updated 2 years ago
- Common elements for FPGA Design (FIFOs, RAMs, etc.)☆33Updated 4 months ago
- Hamming ECC Encoder and Decoder to protect memories☆33Updated 4 months ago
- Python Tool for UVM Testbench Generation☆53Updated last year
- SystemVerilog FSM generator☆32Updated last year
- Open Source AES☆31Updated last year
- ☆39Updated 2 years ago
- ☆36Updated 2 years ago
- 🔥 Technology-agnostic FPGA stress-test: maximum logic utilization and high dynamic power consumption.☆29Updated 2 years ago
- Determines the modules declared and instantiated in a SystemVerilog file☆44Updated 9 months ago
- ☆27Updated last week
- An automatic clock gating utility☆49Updated 2 months ago
- Multi-Processor System on Chip verified with UVM/OSVVM/FV☆31Updated last month
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆44Updated last week
- A padring generator for ASICs☆25Updated 2 years ago
- Open source ISS and logic RISC-V 32 bit project☆54Updated 2 weeks ago
- submission repository for efabless mpw6 shuttle☆30Updated last year