Whistle: A Workbench for Test Development of Library-Based Designs. - Raphael Renous; Gabriel M. Silberman; Ilan Y. Spillinger (Computer, 1989)