abhowmick22 / atpg-PODEMView external linksLinks
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
- Verification of DMA Controller for 8086 Microprocessor Systems using OO Test bench☆16Jun 24, 2020Updated 5 years ago
- [DATE 2022] PowerGear: Early-Stage Power Estimation in FPGA HLS via Heterogeneous Edge-Centric GNNs☆20Apr 15, 2022Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Jan 1, 2026Updated last month
- riii☆10Dec 10, 2015Updated 10 years ago
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 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
- Templates and example projects, libraries, and documentation to start programming with the ISPU, an ultralow-power programmable core embe…☆11Nov 18, 2025Updated 2 months ago
- Write tables in the command line.☆17May 26, 2014Updated 11 years ago
- RTL implementation of a ray-tracing GPU☆15Dec 18, 2012Updated 13 years ago
- Static content published at www.webplatform.org that aren't managed by a content management system.☆21Aug 18, 2022Updated 3 years ago
- [IPSN 2024] Lifelong Intelligence Beyond the Edge using Hyperdimensional Computing☆13May 16, 2024Updated last year
- Experiment with WebAudio API☆28Sep 15, 2014Updated 11 years ago
- Unix环境高级编程学习笔记☆13Jul 20, 2014Updated 11 years ago
- Evaluate a Mapbox GL style function☆12Feb 1, 2017Updated 9 years ago
- C++/Tcl, a library that allows to easily integrate C++ and Tcl.☆12Apr 26, 2018Updated 7 years ago
- Code for new techniques of VLSI placement☆13Oct 11, 2013Updated 12 years ago
- Create a ChatBot using basic ML algorithms☆11Dec 16, 2018Updated 7 years ago
- A plugin to debug program with gdb by using vim☆29Sep 11, 2016Updated 9 years ago
- 連接中研院詞庫小組的中文斷詞系統與中文剖析系統之API☆22Jun 16, 2018Updated 7 years ago
- Custom ASIC Design for SHA-256☆13Nov 22, 2025Updated 2 months ago
- A cross-platform multi-player 3D arcade game implemented entirely in plain C and OpenGL.☆10Aug 15, 2015Updated 10 years ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 years ago
- ☆17Nov 15, 2014Updated 11 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- ☆10Oct 15, 2021Updated 4 years ago
- Universal Asynchronous Receiver/Transmitter (UART) with FIFOs Soft IP☆15Feb 18, 2025Updated 11 months ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- This library contains rectilinear spanning graph construction, finding minimum spanning tree and an implementation of binary search tree☆10Aug 22, 2015Updated 10 years ago
- 參與TensorFlow官方文件的繁體中文在地化(zh-TW Localization) !☆11Dec 26, 2016Updated 9 years ago
- Open-source AI Accelerator Stack integrating compute, memory, and software — from RTL to PyTorch.☆24Updated this week
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- Formal Verification of RISC V IM Processor☆10Mar 27, 2022Updated 3 years ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated 11 months ago
- ☆15Dec 1, 2014Updated 11 years ago
- ☆16Aug 22, 2014Updated 11 years ago