Title :
Data mining based decomposition for assume-guarantee reasoning
Author :
Zhu, He ; He, Fei ; Hung, William N N ; Song, Xiaoyu ; Gu, Ming
Author_Institution :
Key Lab. for Inf. Syst. Security, Tsinghua Univ., Beijing, China
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.
Keywords :
data mining; formal verification; inference mechanisms; association rule algorithm; assume guarantee reasoning; assume guarantee rule; automated compositional reasoning verification; automatic decomposition approach; data mining based decomposition; hypergraph partitioning algorithm; large system verification; system variable clustering; Association rules; Clustering algorithms; Data mining; Data security; Educational technology; Helium; Information science; Information systems; Laboratories; Partitioning algorithms;
Conference_Titel :
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4244-4966-8
Electronic_ISBN :
978-1-4244-4966-8
DOI :
10.1109/FMCAD.2009.5351134
