Design for Testability Using Architectural Descriptions | IEEE Conference Publication | IEEE Xplore