CASTEST oATPG v1.0

The oATPG is developed by CASTEST(中科鉴芯).

It contains a fault simulator and an ATPG core. It supports combinational or fully scanned circuit.

The circuit file is a specific defined file type. It is transformed from netlist verilog file.

If you have any questions about the oATPG, or if you want to transform your netlist verilog file to the supported file type of oATPG, please contact liwenjie@castest.com.cn, or if you have any questions about ATPG code in oATPG, please contact tianpengyu@castest.com.cn or linxinyao@castest.com.cn.

If you want to know more about the commercial version of ATPG, which has much better performance than the opensource version, please contact us by yejing@castest.com.cn

Directory

src

source code

test

functional test code

thirdparty

third-party open source libraries

example

test cases including input data of some ITC’99 and ISCAS’89 benchmarks

Enviroment

Linux
C++ 17

Build

cd oATPG
mkdir build
cd build
cmake ..
make

Example

run in terminal

./build/test/TestATPG ./example/data/s27/s27_primitives.vy ./example/data/s27/s27_cells.vy ./example/data/s27/s27.ictest.spf ./example/data/s27/out

License

SPDX-License-Identifier: LGPL-v3