Alternatives and similar repositories for AAG-Visualizer

Users that are interested in AAG-Visualizer are comparing it to the libraries listed below

• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆15Updated last month
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 3 years ago
• ByronHsu / FRAIGs
  C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.
  ☆10Updated 5 years ago
• cyliustack / sofa
  SOFA: A Cross-framework Performance Profiler for Heterogeneous Computing Systems and Distributed Machine Learning Systems.
  ☆35Updated 4 years ago
• bchao1 / dsnp_test_cases
  💻 Test cases for NTUEE Course "Data Structures and Programming".
  ☆14Updated 7 years ago
• ric2k1 / DSnP.open
  DSnP Open Source Repository
  ☆174Updated 6 months ago
• DVLab-NTU / qsyn
  A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
  ☆195Updated 2 weeks ago
• milochen0418 / hello-verilog
  Hello Verilog by Mac + VSCode
  ☆31Updated last month
• eecheng87 / mode-switch-stat
  Minimal tool for measuring cost of mode switch
  ☆15Updated 4 years ago
• yaohsiaopid / rtl2uspec
  ☆11Updated 7 months ago
• fmlab-iis / AutoQ
  ☆23Updated 2 weeks ago
• sysprog21 / concurrency-primer
  Concurrency Primer
  ☆101Updated 7 months ago
• stevengogogo / DataStructureAlgorithm
  Data Structure and Algorithm with C (2021 Spring)
  ☆11Updated 2 weeks ago
• NTUEEInfoDep / NTUEECourseWebsite2020
  ☆11Updated 3 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆23Updated 3 years ago
• pangfengliu / parallelprogramming
  Materials for my parallel programming course
  ☆36Updated 3 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆31Updated 6 years ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆48Updated last year
• banacorn / Hakaru-FLOLAC16
  Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
  ☆16Updated 9 years ago
• champyen / halide-essentials
  book for Halide language programming
  ☆13Updated 4 years ago
• yao-jason / CV2017Fall
  Computer Vision I 2017 Fall at NTU
  ☆15Updated 7 years ago
• gundambox / DIY_OpenMIPS
  實作《自己動手寫CPU》書上的程式碼
  ☆67Updated 7 years ago
• UCSBarchlab / Charm
  A Language for Closed-form High-level ARchitecture Modeling
  ☆21Updated 5 years ago
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Updated 5 months ago
• shiwulo / ron-osdi2023
  ☆31Updated 2 years ago
• vegaluisjose / vast
  Verilog AST
  ☆21Updated 2 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆72Updated 8 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆92Updated 10 months ago
• mgudemann / iimc
  ☆14Updated 8 years ago
• mit-plv / hemiola
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14Updated 3 years ago