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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Research project from UCI's AICPS lab: using GNNs to enable hardware security and prevent hardware trojans☆10Mar 31, 2021Updated 5 years ago
- ☆50Jul 6, 2023Updated 2 years ago
- Machine Learning Techniques for Hardware Trojan Detection☆28Sep 24, 2020Updated 5 years ago
- GNN-RE datasets for circuit recognition☆59May 16, 2023Updated 2 years ago
- Optimal gate sizing of digital circuits using geometric programming☆11Aug 18, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 10 months ago
- Lock circuitgraphs using various logic locking techniques☆11May 2, 2023Updated 2 years ago
- ☆17May 24, 2023Updated 2 years ago
- ☆17Dec 30, 2023Updated 2 years ago
- 簡單的網頁截圖功能 – html2canvas、Canvas2image☆11Feb 11, 2023Updated 3 years ago
- Graph your gate-level verilog code as a directed graph!☆17Nov 3, 2020Updated 5 years ago
- Graph Neural Networks for Predicting Circuit Reliability Degradation. TCAD 2022☆23Dec 9, 2022Updated 3 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆35Aug 25, 2024Updated last year
- CircuitFusion: Multimodal Circuit Representation Learning for Agile Chip Design (ICLR'25)☆36Apr 13, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".☆25Jul 12, 2023Updated 2 years ago
- Problem B: 3D Placement with D2D Vertical Connections☆11Jun 30, 2022Updated 3 years ago
- 測資生成器☆14Mar 21, 2022Updated 4 years ago
- NTHU CS5422 Parallel Programming Course Projects (include Odd-Even Sort, Mandelbrot Set, All-Pairs Shortest Path, Blocked All-Pairs Short…☆12Sep 7, 2025Updated 7 months ago
- DeepGate3 for ICCAD2024☆14May 26, 2025Updated 10 months ago
- Github repository of the AIStats 2024 paper: DE-HNN: An effective neural model for Circuit Netlist representation☆16Sep 3, 2025Updated 7 months ago
- LEC - Logic Equivalence Checking - Formal Verification☆38Updated this week
- vector accelerating unit☆35Dec 1, 2020Updated 5 years ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆41Mar 7, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Jul 25, 2024Updated last year
- ☆13May 26, 2022Updated 3 years ago
- This GitHub repo is for the OpenROAD and CircuitOps Tutorial at ASP-DAC 2024☆56Jan 19, 2025Updated last year
- For Computer Science Teachers. Automated installation scripts for HUSTOJ, DOMjudge, CMS, moodle, etc ...☆18Feb 8, 2026Updated 2 months ago
- ☆31May 26, 2025Updated 10 months ago
- hardware (ASIC) DEFLATE designed for low-latency page-granularity memory compression and implemented in Chisel☆16Nov 15, 2024Updated last year
- Stencila for Python☆17Aug 3, 2018Updated 7 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Automated UVM testbench generator from Verilog RTL with optional LLM integration for advanced logic creation.☆19Feb 24, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆29Jul 18, 2024Updated last year
- LLM-aided Hardware Design and Verification☆26Apr 4, 2026Updated 2 weeks ago
- [NeurIPS 2023] Reward-Directed Conditional Diffusion: Provable Distribution Estimation and Reward Improvement☆18Oct 30, 2024Updated last year
- DATuner Repository☆17Sep 9, 2018Updated 7 years ago
- Complete installation flow of yosys, OpenSTA and OpenROAD for RTL Verification, Synthesis, Timing Analysis, Power Analysis & GDSII layout…☆21Jul 21, 2025Updated 8 months ago
- ☆12Nov 12, 2023Updated 2 years ago
- SDR-Transceiver☆10Dec 30, 2019Updated 6 years ago