Using Binary Decision Diagrams to Speed up the Test Pattern Generation of Behavioral Circuit Descriptions Written in Hardware Description Languages.

Loc Vandeventer, Jean Franois Santucci

Browse the full ISCAS paper archive.