CAD tools for reliable VLSI designs