using formal verification to exhaustively verify soc assemb published presentations and documents on DocSlides.