On-Line Testing of digital VLSI circuits at Register Transfer Level using High Level Decision Diagrams. (September 2017)