Computer-aided VLSI circuit reliability assurance