A tool for hierarchical test generation
G. Krüger · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991
An extended system MSST (MIMOLA software system test generator), and its algorithms for automatic test generation are presented. In a hierarchical, mixed-level approach (from gate to system level) test patterns for sequential circuits and test programs for external testing or self-testing (diagnostics) of microprocessor boards or processor systems can be generated automatically. In a complete hierarchy lower bounds for test coverage are easily computable. The MIMOLA design system (including MSST) has been installed on VAX, APOLLO, SUN, and several other host machines. Several production line test applications show good results.>