Generating valid tests for static CMOS-circuits based on a delay model | IEEE Conference Publication | IEEE Xplore