☆21May 25, 2023Updated 2 years ago
Alternatives and similar repositories for PROBE_SMT_AutoCell
Users that are interested in PROBE_SMT_AutoCell are comparing it to the libraries listed below
Sorting:
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆19Jul 22, 2020Updated 5 years ago
- Open Source Detailed Placement engine☆12Feb 19, 2020Updated 6 years ago
- [ICCAD 22]DeePEB: A neural network based PEB solver☆11Feb 17, 2023Updated 3 years ago
- Open-sourced utilities for initial flow setup, calibration, and other user functions for OpenROAD project☆20Aug 20, 2019Updated 6 years ago
- Coriolis VLSI EDA Tool (LIP6)☆81Jan 25, 2026Updated last month
- ☆33Jan 24, 2020Updated 6 years ago
- A Lightweight Multi-modality Image Segmentation Network via Domain Adaptation using Gradient Magnitude and Shape Constraint☆10Apr 3, 2023Updated 2 years ago
- ☆40Mar 2, 2023Updated 3 years ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- ☆81Jan 5, 2026Updated last month
- Circuit release of the MAGICAL project☆40Jan 10, 2020Updated 6 years ago
- Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆15Sep 28, 2017Updated 8 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- Analog IC symmetry extraction benchmark of AncstrGNN☆10Aug 19, 2024Updated last year
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- ☆51Apr 8, 2024Updated last year
- The working draft to split rocket core out from rocket chip☆14Dec 22, 2023Updated 2 years ago
- ☆10Apr 8, 2021Updated 4 years ago
- ☆10Aug 22, 2023Updated 2 years ago
- ☆12Jan 12, 2025Updated last year
- PCB libraries and templates for rocket-chip based FPGA/ASIC designs☆15Updated this week
- ☆11Mar 3, 2025Updated last year
- ☆15Dec 9, 2025Updated 2 months ago
- Uses the D8M camera module, then processes the image to detect red objects, and then overlay an x,y crosshair on the largest red object. …☆15Jan 19, 2018Updated 8 years ago
- cpp parser for reading a VCD (value change dump) file☆10Jul 15, 2013Updated 12 years ago
- ☆11Jan 21, 2019Updated 7 years ago
- Macro Placement - benchmarks, evaluators, and reproducible results from leading methods in open source☆301Jan 5, 2026Updated last month
- kenDryte K210 Cloud Build Support☆11Oct 24, 2018Updated 7 years ago
- An open-source quantum automatic test generator.☆15Jun 9, 2025Updated 8 months ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 7 months ago
- iccad contest 2022 problem B☆16Sep 4, 2022Updated 3 years ago
- ☆11Jan 19, 2024Updated 2 years ago
- This library is a low level parser for the OpenAccess file format.☆15Jun 24, 2017Updated 8 years ago
- A C++ VLSI circuit schematic and layout database library☆15Jul 1, 2024Updated last year
- An SRAM IP Uniquely designed with open source tools. Static RAM is a type of random-access memory that uses latching circuitry (flip-flop…☆14Jul 22, 2020Updated 5 years ago
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆23May 24, 2025Updated 9 months ago
- echarts honkit/gitbook plug-in that can draw various charts such as bar/pie☆13Apr 14, 2025Updated 10 months ago
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- Reading list for deep learning in Computer Vision and Medical Image Analysis☆12Nov 2, 2021Updated 4 years ago