hsluoyz / Atalanta
Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.
☆80Updated last year
Alternatives and similar repositories for Atalanta
Users that are interested in Atalanta are comparing it to the libraries listed below
Sorting:
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆88Updated last year
- Collection of digital hardware modules & projects (benchmarks)☆55Updated last week
- ☆156Updated 2 months ago
- ☆42Updated 8 months ago
- ☆67Updated this week
- ☆23Updated 4 years ago
- ASIC Design Kit for FreePDK45 + Nangate for use with mflowgen☆173Updated 5 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆27Updated 5 years ago
- IDEA project source files☆106Updated 6 months ago
- A complete open-source design-for-testing (DFT) Solution☆151Updated 6 months ago
- A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆47Updated 4 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆83Updated last year
- Verilog parser, preprocessor, and related tools for the Verilog-Perl package☆132Updated last year
- A Standalone Structural Verilog Parser☆91Updated 3 years ago
- reference block design for the ASAP7nm library in Cadence Innovus☆42Updated 10 months ago
- ☆105Updated 5 years ago
- Logic synthesis and ABC based optimization☆49Updated last week
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- AMF-Placer 2.0: An open-source timing-driven analytical mixed-size FPGA placer of heterogeneous resources (LUT/FF/LUTRAM/MUX/CARRY/DSP/BR…☆104Updated last year
- ☆43Updated last year
- Delay Calculation ToolKit☆31Updated 2 years ago
- Introductory course into static timing analysis (STA).☆93Updated 3 weeks ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆26Updated last year
- An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit☆81Updated last week
- AutoCellLibX: Automated Standard Cell Library Extension Based on Pattern Mining☆15Updated 2 years ago
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆47Updated 7 months ago
- An integrated CGRA design framework☆88Updated last month
- RippleFPGA, A Simultaneous Pack-and-Place Algorithm for UltraScale FPGA☆90Updated 5 years ago
- OpenDesign Flow Database☆16Updated 6 years ago