There are 1 repository under iscas topic.
EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog
中科院软件所XLab的机器人UI交互模块
A serial and parallel logic fault simulator on gate level netlists.
This is a Combinational Circuit Logic Simulation Tool. There is a C++ version and a C version.