An algorithm for test generation of combinational circuits - research and implementation for critical path tracing | IEEE Conference Publication | IEEE Xplore