NTU-LaDS-II / qATG
An open-source quantum automatic test generator.
☆14Updated 6 months ago
Alternatives and similar repositories for qATG:
Users that are interested in qATG are comparing it to the libraries listed below
- Logic Synthesis and Verification: Programming Assignments☆12Updated 3 months ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆8Updated last year
- A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits☆182Updated last month
- Hardware Description Language on FPGA☆9Updated last year
- C++ truth table library☆52Updated last year
- An open-source design automation framework for Field-coupled Nanotechnologies☆68Updated this week
- ☆24Updated 4 years ago
- Aquila: a 32-bit RISC-V processor for Xilinx FPGAs.☆30Updated last year
- Routing Visualization for Physical Design☆19Updated 6 years ago
- Logic synthesis and ABC based optimization☆49Updated 3 weeks ago
- C++ header-only reasoning library☆13Updated 8 months ago
- Courseworks of CS6165 VLSI Physical Design Automation, NTHU.☆41Updated 4 years ago
- C++ library to create and read GDSII file☆22Updated 8 months ago
- Integrated Circuit Design Laboratory(IC Lab) at 2019 Fall, NCTU. Final project is a customized 16 bits ISA processor.☆23Updated 3 years ago
- FPGA implementation of distributed union find algorithm☆17Updated 2 weeks ago
- ☆35Updated last year
- Spring 2023 NYCU (prev. NCTU) Integrated Circuit Design Laboratory (ICLab)☆112Updated 6 months ago
- Benchmarks for Yosys development☆23Updated 5 years ago
- ☆21Updated 10 months ago
- 楊家驤老師的"電腦輔助積體電路系統設計"作業(CVSD)☆29Updated 5 months ago
- Open source EDA chip design flow☆50Updated 8 years ago
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Updated 2 years ago
- An advanced header-only exact synthesis library☆25Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- Physical Design Flow from RTL to GDS using Opensource tools.☆95Updated 4 years ago
- EDA wiki☆51Updated 2 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆35Updated 9 months ago
- ☆37Updated last month
- Assignments of Physical Design for Nanometer ICs (Spring 2017, Prof. Yao-Wen Chang)☆39Updated 6 years ago