Provide secure and stable OS, based on highly modified Linux Kernel, own package system, like "BSD Ports". Compatible with x86, Power PC. Easy to use of any level users. Complete Documentantion in many languages. 99% compatible with Windows.
This library provides an Opensource ATPG API to build your programs on. The library implements a lot of template c++ classes and functions that provide Combitional/Sequential logic simulation, and fault simulation functionality(semi-PROOFS).