leonardt / hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
☆18Updated last year
Related projects: ⓘ
- The PE for the second generation CGRA (garnet).☆16Updated 2 weeks ago
- Cross EDA Abstraction and Automation☆33Updated last week
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆33Updated 3 years ago
- Library of open source Process Design Kits (PDKs)☆21Updated this week
- Top level CedarEDA integration package☆19Updated last month
- Automatic generation of real number models from analog circuits☆36Updated 5 months ago
- ☆19Updated this week
- Integration test for entire CGRA flow☆12Updated 4 years ago
- Fast PnR toolchain for CGRA☆17Updated last month
- A Python package for testing hardware (part of the magma ecosystem)☆40Updated 6 months ago
- A framework for FPGA emulation of mixed-signal systems☆33Updated 3 years ago
- tools regarding on analog modeling, validation, and generation☆18Updated last year
- ☆19Updated 2 years ago
- Collection of test cases for Yosys☆17Updated 2 years ago
- CoreIR Symbolic Analyzer☆61Updated 3 years ago
- Python/Simulator integration using procedure calls☆9Updated 4 years ago
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆20Updated 4 years ago
- Python interface to FPGA interchange format☆41Updated last year
- Interchange formats for chip design.☆27Updated last month
- A command-line tool for displaying vcd waveforms.☆44Updated 7 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆42Updated 3 years ago
- mantle library☆42Updated last year
- Determines the modules declared and instantiated in a SystemVerilog file☆39Updated 2 years ago
- The test suite for the Xyce Parallel Electronic Simulator☆20Updated 4 months ago
- Matchlib Connections Library - latency insensitive channels (from NVlabs/matchlib/connections)☆35Updated 2 weeks ago
- Peak : Processor Specification Language ala Newell and Bell's ISP☆19Updated 9 months ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆30Updated 3 months ago
- sram/rram/mram.. compiler☆26Updated last year