DocumentCode
405796
Title
Compositional verification: an industrial case study
Author
Yunshan Zhu ; Prasad, Ranga
Author_Institution
Synopsys Inc., Mountain View, CA, USA
Volume
1
fYear
2003
fDate
21-24 Oct. 2003
Firstpage
282
Abstract
We illustrate a compositional verification methodology using an industrial case study. In compositional verification, a user decomposes a system into blocks and derive system correctness based on block verification. We describe the verification of a PCI-Express Endpoint Controller design. Our experience shows that compositional techniques reduce verification complexity and allow users to find errors early in the design process.
Keywords
control system synthesis; electronics industry; program verification; PCI-express endpoint controller design; block verification; compositional verification; control system synthesis; verification complexity;
fLanguage
English
Publisher
ieee
Conference_Titel
ASIC, 2003. Proceedings. 5th International Conference on
ISSN
1523-553X
Print_ISBN
0-7803-7889-X
Type
conf
DOI
10.1109/ICASIC.2003.1277543
Filename
1277543
Link To Document