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 oCASatpg, or if you want to transform your netlist verilog file to the supported file type of oCASatpg, please contact liwenjie@castest.com.cn, or if you have any questions about ATPG code in oCASatpg, please contact wanghui@castest.com.cn.
If you want to know more about the commercial version of ATPG, which has much better performance than the open source version, please contact 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
CASTEST oCASatpg v1.0
The oCASatpg 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 oCASatpg, or if you want to transform your netlist verilog file to the supported file type of oCASatpg, please contact
liwenjie@castest.com.cn, or if you have any questions about ATPG code in oCASatpg, please contactwanghui@castest.com.cn.If you want to know more about the commercial version of ATPG, which has much better performance than the open source version, please contact
yejing@castest.com.cnDirectory
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
Build
Example
run in
terminalLicense
SPDX-License-Identifier: LGPL-v3