Automatic Test Pattern Generation using PODEM algorithm
☆15May 12, 2014Updated 11 years ago
Alternatives and similar repositories for atpg-PODEM
Users that are interested in atpg-PODEM are comparing it to the libraries listed below
Sorting:
- An ATPG tool using PODEM algorithm in C++ that generates a test to detect any given list of Single-Stuck-at Faults☆11Oct 29, 2017Updated 8 years ago
- Combinational ATPG generator based on D-Algorithm☆16Nov 25, 2020Updated 5 years ago
- ☆12Mar 7, 2024Updated 2 years ago
- [DATE 2022] PowerGear: Early-Stage Power Estimation in FPGA HLS via Heterogeneous Edge-Centric GNNs☆20Apr 15, 2022Updated 3 years ago
- Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation inc…☆30Mar 23, 2024Updated last year
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- riii☆10Dec 10, 2015Updated 10 years ago
- Modular Verilog PCIexpress Interface Components with complete MyHDL Testbench for FPGA deployment☆14Sep 17, 2019Updated 6 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- RISC-V vector and tensor compute extensions for Vortex GPGPU acceleration for ML workloads. Optimized for transformer models, CNNs, and g…☆21Apr 25, 2025Updated 10 months ago
- ☆20Feb 28, 2026Updated last week
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- North Carolina State University: ECE 745 : Project: LC3 Microcontroller Functional Verification using SystemVerilog☆11Jun 5, 2017Updated 8 years ago
- UCSD CSE240A Project: Branch Predictor☆11Jul 24, 2017Updated 8 years ago
- C++/Tcl, a library that allows to easily integrate C++ and Tcl.☆12Apr 26, 2018Updated 7 years ago
- musl libc projects (such as _BSD_SOURCE)☆18Jan 1, 2014Updated 12 years ago
- Custom ASIC Design for SHA-256☆14Nov 22, 2025Updated 3 months ago
- Code for new techniques of VLSI placement☆13Oct 11, 2013Updated 12 years ago
- RTL implementation of a ray-tracing GPU☆15Dec 18, 2012Updated 13 years ago
- log watcher for awesome wm☆15Nov 3, 2017Updated 8 years ago
- Implementation of a simple genetic algorithm designed to solve the Traveling Salesman Problem, using ncurses to visualize the graph.☆11Nov 23, 2017Updated 8 years ago
- Ruby language compiler for .NET Framework that is built on top of the Dynamic Language Runtime.☆10Dec 2, 2015Updated 10 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- A plugin to debug program with gdb by using vim☆29Sep 11, 2016Updated 9 years ago
- Standard cell placement (global and detailed) tool based on modified algorithm “simulated annealing”☆12Jan 7, 2026Updated 2 months ago
- Evaluate a Mapbox GL style function☆12Feb 1, 2017Updated 9 years ago
- This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augment…☆13Mar 24, 2025Updated 11 months ago
- Static content published at www.webplatform.org that aren't managed by a content management system.☆21Aug 18, 2022Updated 3 years ago
- Unix环境高级编程学习笔记☆13Jul 20, 2014Updated 11 years ago
- [IPSN 2024] Lifelong Intelligence Beyond the Edge using Hyperdimensional Computing☆13May 16, 2024Updated last year
- 連接中研院詞庫小組的中文斷詞系統與中文剖析系統之API☆22Jun 16, 2018Updated 7 years ago
- Universal Asynchronous Receiver/Transmitter (UART) with FIFOs Soft IP☆15Feb 18, 2025Updated last year
- Source code for http://fearmediocrity.co.uk☆10Feb 2, 2016Updated 10 years ago
- ☆10Oct 28, 2024Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- ☆16Aug 22, 2014Updated 11 years ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year