Automatic generation of critical-path tests for a partial-scan microprocessor | IEEE Conference Publication | IEEE Xplore