LaDS, Laboratory of Dependable Systems

Department of Electrical Engineering
National Taiwan University

Open Source

Test tools developed and released by LaDS-II.

FAN ATPG

  • C++
  • MIT License
  • ATPG
  • Fault simulation

FAN (fan-out-oriented) Automatic Test Pattern Generation and fault simulation command line tool.

View on GitHub

Get the code

git clone https://github.com/NTU-LaDS-II/FAN_ATPG.git

References

  1. H. Fujiwara and T. Shimono, "On the Acceleration of Test Generation Algorithms," IEEE Transactions on Computers, vol. C-32, no. 12, pp. 1137–1144, Dec. 1983.
  2. F. Brglez, D. Bryan, and K. Kozminski, "Combinational Profiles of Sequential Benchmark Circuits," 1989 IEEE International Symposium on Circuits and Systems (ISCAS), 1989.

techlib/mod_nangate45.mdt and techlib/NangateOpenCellLibrary.v are under TECHLIB_LICENSE.

qATG

  • Python
  • BSD-3-Clause
  • Quantum circuits

An open-source quantum automatic test generator that generates a configuration for each user-defined fault.

View on GitHub

Get the code

git clone https://github.com/NTU-LaDS-II/qATG.git

References

  1. C.-H. Wu et al., "qATG: Automatic Test Generation for Quantum Circuits," 2020 IEEE International Test Conference (ITC), 2020.
觀功念恩