REGGEN-Test pattern generation on register transfer level | IEEE Conference Publication | IEEE Xplore