sanketkkeni / PODEM-Algorithm-implementationLinks
An ATPG tool using PODEM algorithm in C++ that generates a test to detect any given list of Single-Stuck-at Faults
☆11Updated 8 years ago
Alternatives and similar repositories for PODEM-Algorithm-implementation
Users that are interested in PODEM-Algorithm-implementation are comparing it to the libraries listed below
Sorting:
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆107Updated 7 months ago
- Combinational ATPG generator based on D-Algorithm☆16Updated 5 years ago
- ☆35Updated 3 years ago
- This is the FreePDK45 V1.4 Process Development Kit for the 45 nm technology☆31Updated 4 years ago
- reference block design for the ASAP7nm library in Cadence Innovus☆57Updated last year
- Open IP in Hardware Description Language.☆29Updated 2 years ago
- Introductory course into static timing analysis (STA).☆99Updated 7 months ago
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆66Updated 8 months ago
- Static timing analysis (STA) is a method of validating the timing performance of a design by checking all possible paths for timing viola…☆17Updated 3 years ago
- ☆40Updated 6 years ago
- Design and UVM-TB of RISC -V Microprocessor☆33Updated last year
- This repository has a list of collaterals needed for ICC2 workshop. It has a modified version of raven_soc which was taped-out by Efables…☆41Updated 5 years ago
- The project is about building an 8-row by 8-bit 6T SRAM memory array, & a 3-to-8 decoder that's used to access the SRAM array. The layout…☆83Updated 3 years ago
- A verilog implementation for Network-on-Chip☆81Updated 8 years ago
- ☆70Updated 3 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Updated last year
- Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation inc…☆27Updated last year
- This repository presents ASIC design flow for UART utilizing RTL to GDS implementation This has been simulated on VCS and has been impl…☆25Updated last year
- Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.☆87Updated last year
- Translated SpinalHDL-Doc(v1.7.2) into Chinese☆53Updated 2 years ago
- Implementing Different Adder Structures in Verilog☆74Updated 6 years ago
- YSYX RISC-V Project NJU Study Group☆16Updated last year
- ☆27Updated last year
- Base on Synopsys platform using VCS,DC,ICC,PT.☆12Updated 4 years ago
- The template for VLSI project☆27Updated 2 years ago
- ☆16Updated last year
- ☆95Updated 7 months ago
- This is a tutorial on standard digital design flow☆83Updated 4 years ago
- This github repository summarizes relevant papers for shift left techniques in electronic design automation (EDA).☆30Updated 4 months ago
- EDA wiki☆136Updated 3 months ago