Keyword : automated deduction


TPF: An Effective Method for Verifying Synchronous Circuits with Induction-Based Provers
Kazuko TAKAHASHI Hiroshi FUJITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/01/25
Vol. E81-D  No. 1 ; pp. 12-18
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
design verificationhardware descriptionBoyer-Moore theorem proverautomated deductionsynchronous circuits
 Summary | Full Text:PDF