Aerospace Contrd and Application ›› 2008, Vol. 34 ›› Issue (2): 29-32.
Previous Articles Next Articles
Research on ROBDD Variables Reordering Algorithm in Formal Verification
Online:
Published:
Abstract: The ill order of ROBDD variables may cause the crisis of state space explosion and, therefore, influence the use of the formal verification method.In this paper, we present an improved algoribhm by adding mutation and optimized evolution operations to the genetic ROBDD variables reordering algorithm in the CUDD package.The experimental results demonstrate that the proposed algorithm can reduce the number of ROBDD nodes within a tolerable time, and slow down the crisis of state space explosion in the formal verification.
Key words: font-family:Calibri, sans-serif, ">color:windowtext, ROBDD')">">ROBDD, variables reordering, genetic algorithm, ')">">
CLC Number:
WANG Qing, YANG Mengfei.
Research on ROBDD Variables Reordering Algorithm in Formal Verification [J].Aerospace Contrd and Application, 2008, 34(2): 29-32.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://journal01.magtech.org.cn/Jwk3_kjkzjs/EN/
http://journal01.magtech.org.cn/Jwk3_kjkzjs/EN/Y2008/V34/I2/29
Cited