Theorem Provers in Circuit Design

Theorem Provers in Circuit Design

4.11 - 1251 ratings - Source

This two-volume set contains papers presented at the International Conference on Computational Engineering Science (ICES '95) held in Mauna Lani, Hawaii from 30 July to 3 August, 1995. The contributions capture the state of the science in computational modeling and simulation in a variety of engineering disciplines: civil, mechanical, aerospace, materials and electronics engineering.We have successfully used the core strategy described in the paper to verify a number of instructions (identified by Rockwell engineers) of AAMP5. ... In Proceedings of the HOL Usera#39;s Group Workshop, pages 401- 414, 1993. 2.

Title:Theorem Provers in Circuit Design
Author:Ramayya Kumar, Thomas Kropf
Publisher:Springer Science & Business Media - 1995-03-06


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