Fast RTL Fault Simulation Using Decision Diagrams and Bitwise Set Operations | IEEE Conference Publication | IEEE Xplore