computer software designed to extract state information from hardware descriptions and automatically generate tests for the finite state machines extracted