Formal methods in computer-aided design

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings<br />Author: Warren A. Hunt Jr., Steven D. Johnson<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41219-9<br /> DOI: 10.1007/3-540-40922-X<br /><br />Table of Contents:<p></p><ul><li>Applications of Hierarchical Verification in Model Checking
</li><li>Trends in Computing
</li><li>A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon
</li><li>An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps
</li><li>Automated Refinement Checking for Asynchronous Processes
</li><li>Border-Block Triangular Form and Conjunction Schedule in Image Computation
</li><li>B2M: A Semantic Based Tool for BLIF Hardware Descriptions
</li><li>Checking Safety Properties Using Induction and a SAT-Solver
</li><li>Combining Stream-Based and State-Based Verification Techniques
</li><li>A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles
</li><li>Correctness of Pipelined Machines
</li><li>Do You Trust Your Model Checker?
</li><li>Executable Protocol Specification in ESL
</li><li>Formal Verification of Floating Point Trigonometric Functions
</li><li>Hardware Modeling Using Function Encapsulation
</li><li>A Methodology for the Formal Analysis of Asynchronous Micropipelines
</li><li>A Methodology for Large-Scale Hardware Verification
</li><li>Model Checking Synchronous Timing Diagrams
</li><li>Model Reductions and a Case Study
</li><li>Modeling and Parameters Synthesis for an Air TrafficManagement System</li></ul>