C++TESK Testing ToolKit combines results of the following ISPRAS's projects: C++TESK (creation of formal specifications, test scenarios and test coverage metrics by means of C++ programming language), C++TESK Hardware Edition (development of reference models of hardware designs and C++-RTL adapters), CTESK (automated generation of test sequences using graph exploration techniques), Distributed FSM (tests parallelization on computer networks and clusters) and Aspectrace (test event tracing and report generation). The project also depends on VeriTool (generation of C/C++ API for Verilog modules), which in turn depends on Icarus Verilog.