Automatic datapath abstraction in hardware systems
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An environment for formal verification based on symbolic computationsFormal Methods in System Design, 1995
- Ground temporal logic: A logic for hardware verificationLecture Notes in Computer Science, 1994
- Automatic verification of pipelined microprocessor controlLecture Notes in Computer Science, 1994
- Verification of systems containing countersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979