Data mining based decomposition for assume-guarantee reasoning

He Zhu, Fei He, William N.N. Hung, Xiaoyu Song, Ming Gu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

Automated compositional reasoning using assume-guarantee rules plays a key role in large system verification. A vexing problem is to discover fine decomposition of system contributing to appropriate assumptions. We present an automatic decomposition approach in compositional reasoning verification. The method is based on data mining algorithms. An association rule algorithm is harnessed to discover the hidden rules among system variables. A hypergraph partitioning algorithm is proposed to incorporate these rules as weight constraints for system variable clustering. The experiments demonstrate that our strategy leads to order-of-magnitude speedup over previous.

Original languageEnglish (US)
Title of host publication9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009
Pages116-119
Number of pages4
DOIs
StatePublished - Dec 7 2009
Externally publishedYes
Event9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009 - Austin, TX, United States
Duration: Nov 15 2009Nov 18 2009

Publication series

Name9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009

Conference

Conference9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009
Country/TerritoryUnited States
CityAustin, TX
Period11/15/0911/18/09

All Science Journal Classification (ASJC) codes

  • Computational Theory and Mathematics
  • Computer Graphics and Computer-Aided Design

Fingerprint

Dive into the research topics of 'Data mining based decomposition for assume-guarantee reasoning'. Together they form a unique fingerprint.

Cite this