Title :
Functional abstraction and formal proof of digital circuits
Author :
Déverchère, Philippe ; Madre, Jean Christophe ; Guignet, Jean Bruce ; Currat, Michel
Author_Institution :
Bull SA, Les Clayes sous Bois, France
Abstract :
A discussion is given on the set of tools that has been developed at Bull for functional verification of VLSI circuits. The functional verification process is based on two key concepts. The first one is functional abstraction which consists of automatically producing a functional view of a circuit from a lower level of description that can be either a structural or a layout description. The second one is formal verification that consists of automatically proving that the abstracted view of a circuit is correct with respect to its functional specification given by the circuit designer. The set of tools implementing these concepts is intensively used at Bull by all VLSI circuit designers
Keywords :
VLSI; circuit analysis computing; Bull; VLSI circuit designers; abstracted view; circuit designer; formal verification; functional abstraction; functional specification; functional verification process; functional view; layout description; Application specific integrated circuits; Art; Circuit simulation; Circuit synthesis; Costs; Delay; Design methodology; Digital circuits; Formal verification; Very large scale integration;
Conference_Titel :
Design Automation, 1992. Proceedings., [3rd] European Conference on
Conference_Location :
Brussels
Print_ISBN :
0-8186-2645-3
DOI :
10.1109/EDAC.1992.205976
