A Test Generation Methodology for High-Performance Computer Chips and Modules. - Bernd Könemann; Phil Noto (ITC, 1992)