TrojanSAINT: Gate-Level Netlist Sampling-Based Inductive Learning for Hardware Trojan Detection
☆22Oct 3, 2023Updated 2 years ago
Alternatives and similar repositories for TrojanSAINT
Users that are interested in TrojanSAINT are comparing it to the libraries listed below
Sorting:
- Lock circuitgraphs using various logic locking techniques☆11May 2, 2023Updated 2 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 9 months ago
- ☆15May 24, 2023Updated 2 years ago
- ☆48Jul 6, 2023Updated 2 years ago
- Graph Neural Networks for Predicting Circuit Reliability Degradation. TCAD 2022☆24Dec 9, 2022Updated 3 years ago
- GNN-RE datasets for circuit recognition☆56May 16, 2023Updated 2 years ago
- CircuitFusion: Multimodal Circuit Representation Learning for Agile Chip Design (ICLR'25)☆33Apr 13, 2025Updated 10 months ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆39Mar 7, 2025Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- 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
- ☆12Apr 25, 2025Updated 10 months ago
- [TVLSI 2025] ACiM Inference Simulation Framework in "ASiM: Modeling and Analyzing Inference Accuracy of SRAM-Based Analog CiM Circuits"☆27Sep 9, 2025Updated 6 months ago
- Automated UVM testbench generator from Verilog RTL with optional LLM integration for advanced logic creation.☆18Feb 24, 2026Updated last week
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆34Updated this week
- RTL code for the DPU chip designed for irregular graphs☆13May 30, 2022Updated 3 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
- Framework based on Partial Reconfiguration for chip characterization utilizing ring-oscillator PUFs☆13Apr 1, 2020Updated 5 years ago
- ☆20Updated this week
- A WIP library to control B1500 and similar testers via the VISA protocol, built on pyvisa☆11Nov 4, 2016Updated 9 years ago
- DeepGate3 for ICCAD2024☆13May 26, 2025Updated 9 months ago
- Stencila for Python☆17Aug 3, 2018Updated 7 years ago
- Go语言爆破Sha256前四字符☆10May 21, 2019Updated 6 years ago
- SDR-Transceiver☆10Dec 30, 2019Updated 6 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
- Go安全的学习中ing☆17Jan 9, 2023Updated 3 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆14Sep 3, 2024Updated last year
- OpenAI ChatGPT, GPT-3, ChatGPT-API for go,ChatGPT in bash shell command line☆10Jan 1, 2023Updated 3 years ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated last year
- ☆12Nov 12, 2023Updated 2 years ago
- ☆10Oct 28, 2024Updated last year
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated 11 months ago
- Github repository of the AIStats 2024 paper: DE-HNN: An effective neural model for Circuit Netlist representation☆14Sep 3, 2025Updated 6 months ago
- Tool for parsing an integrated circuit test file from STIL to the particular file format of a Teradyne tester.☆15May 17, 2018Updated 7 years ago
- ☆13May 26, 2022Updated 3 years ago
- 修改自官方yara工具☆14May 6, 2024Updated last year
- Complete installation flow of yosys, OpenSTA and OpenROAD for RTL Verification, Synthesis, Timing Analysis, Power Analysis & GDSII layout…☆21Jul 21, 2025Updated 7 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year