A knowledge-based environment for the integration of logical and physical testing of VLSI circuits | IEEE Conference Publication | IEEE Xplore