Automated test pattern generation for the Cathedral-II/2nd architectural synthesis environment | IEEE Conference Publication | IEEE Xplore