QuokkaEvaluation
Circuit design tool
A toolkit for designing and verifying digital circuits using Verilog and .NET Core
Example projects for Quokka FPGA toolkit
37 stars
9 watching
4 forks
Language: Verilog
last commit: over 3 years agoLinked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| evgenymuryshkin/qusoc | A suite of tools and templates for designing and developing RISC-V SoCs using Verilog. | 21 |
 drom/reqack | A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol | 29 |
 cfelton/rhea | A collection of MyHDL cores and tools for complex digital circuit design | 85 |
 fvutils/pyvsc | Provides tools and techniques for generating testable digital circuits and analyzing their coverage | 115 |
 dawsonjon/chips-2.0 | An FPGA design suite that abstracts away low-level details to enable high-level design and simulation using Python. | 237 |
 cambridgehackers/fpgamake | Generates Makefiles to synthesize and route digital circuits from Verilog designs using Vivado | 93 |
 rohanku/pyphotonics | Automated design tool for photonic circuits using Python and external software. | 4 |
 adgt/pyquirk | A Python widget for visualizing quantum computing circuits in interactive Jupyter notebooks and environments. | 24 |
 olofk/fusesoc | A toolset for managing and building digital circuit designs using hardware description languages like Verilog or VHDL | 1,217 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 xilinx/hls | A collection of tools and code for designing and implementing digital circuits using high-level synthesis | 380 |
 pkuzjx/eda-collection | A collection of resources and tools for the development and design of integrated circuits and electronic systems | 100 |
 pku-dasys/cocoon | An infrastructure for integrated electronic design automation supporting EDA point tools and design flow optimization | 38 |
 qiskit-community/qiskit-metal | A framework for designing and simulating superconducting quantum devices | 292 |
 upb-lea/pygeckocircuits2 | A Python wrapper around a circuit simulation tool | 5 |