Year: 1995
Type: conference-paper
Abstract: |This paper describes how model checking has been integrated into an industrial hardware design process.We present an application oriented speci cation language for assumption/commitment s t yle properties and an abstraction algorithm that generates an intuitive and ecient representation of synchronous circuits.These approaches are embedded in our Circuit Veri cation Environment CVE.They are demonstrated on two industrial applications.
Author: Jorg Bormann
Institution: Siemens (Germany)
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4245802523