Automated test pattern generation for the Cathedral-II/2nd architectural synthesis environment. - Jos van Sas; Francky Catthoor; Peter Vandeput; Frank Rossaert; Hugo De Man (EURO-DAC, 1991)