Optimization of the theory of FDD of DES for alleviation of the state explosion problem and development of CAD tools for on-line testing of digital VLSI circuits