bogdanvuk / sydpy
System Design in Python (SyDPy) is a tool for design and verification of concurrent systems. The tool is offered as an alternative to SystemVerilog and other HDLs.
☆12Updated 8 years ago
Alternatives and similar repositories for sydpy:
Users that are interested in sydpy are comparing it to the libraries listed below
- CVC: Circuit Validity Checker. Check for errors in CDL netlist.☆22Updated 3 weeks ago
- This repository is no longer maintained. New repository is here(https://github.com/rggen/rggen).☆16Updated 5 years ago
- Python/Simulator integration using procedure calls☆9Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- An open source generator for standard cell based memories.☆12Updated 8 years ago
- A simple function to add wavedrom diagrams into an ipython notebook.☆22Updated 3 years ago
- A tool for merging the MyHDL workflow with Vivado☆19Updated 4 years ago
- 👾 Design ∪ Hardware☆72Updated 2 months ago
- ☆20Updated 3 years ago
- BAG framework☆40Updated 5 months ago
- Python interface for cross-calling with HDL☆29Updated last week
- ☆36Updated 2 years ago
- Verification Utilities for MyHDL☆17Updated last year
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆22Updated 3 years ago
- mantle library☆42Updated 2 years ago
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 4 years ago
- ☆31Updated last year
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- Automatic generation of real number models from analog circuits☆37Updated 9 months ago
- hardware library for hwt (= ipcore repo)☆35Updated last month
- An open source, parameterized SystemVerilog digital hardware IP library☆24Updated 7 months ago
- SoCGen is a tool that automates SoC design by taking in a JSON description of the system and producing the final GDS-II. SoCGen supports …☆36Updated 4 years ago
- Digital Circuit rendering engine☆36Updated last year
- IP-core package generator for AXI4/Avalon☆22Updated 6 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆43Updated 4 years ago
- A Vivado HLS Command Line Helper Tool☆36Updated 3 years ago
- Minimal SKY130 example with self-checking LVS, DRC, and PEX☆23Updated 4 years ago
- An automatic schematic generation tool which generates schematics from a SPICE netlist, usually of output from qflow.☆21Updated 4 years ago