Automating verification by functional abstraction at the system level [chapter]

Klaus Schneider, Ramayya Kumar, Thomas Kropf
1994 Lecture Notes in Computer Science  
The verification of digital circuits at higher levels of abstraction still suffers from complex and unstructured proofs. In this paper, we present a class of circuits that can be used for the implementation of arbitrary processes without shared memory. These processes communicate with each other according to a handshake protocol. We have proven general theorems to automatically derive correctness theorems for composed handshake circuits. The contribution of this paper is therefore a new design
more » ... tyle based on handshake circuits and a highly automated approach to verification at the system level ba~ed on functional abstraction. * This work has been partly financed by a german national grant, project Automated System Design, SFB No.358.
doi:10.1007/3-540-58450-1_56 fatcat:eqssb76kebd6fnp7okdnf52fcu