Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

4.11 - 1251 ratings - Source

Second International Conference, FMCAD a#39;98, Palo Alto, CA, USA, November 4- 6, 1998, Proceedings Ganesh ... Tutorial. on. St IŠalmarcka#39;s. Proof. Procedure. for. Propositional. Logic. Mary Sheeran and Gunnar St IŠalmarck Prover Technology ... 1. Introduction. In the computer aided design of electronic circuits, a key function is tautology checking, that is testing ... Often, the verification problem can be expressed as an inductive proof, and the base case and the step checked using Stanbsp;...

Title:Formal Methods in Computer-Aided Design
Author:Ganesh Gopalakrishnan, Phillip Windley
Publisher:Springer Science & Business Media - 1998-10-21


You Must CONTINUE and create a free account to access unlimited downloads & streaming