CAD for Assurance of Electronic Systems