Using binary decision diagrams to speed up the test pattern generation of behavioral circuit descriptions written in hardware description languages | IEEE Conference Publication | IEEE Xplore