Shao Ming, Li Guanghui, Li Xiaowei. Strategy to Group Partitioned Transition Relationship in Model CheckingJ. Journal of Computer-Aided Design & Computer Graphics, 2003, 15(9): 1101-1104.
Citation:
Shao Ming, Li Guanghui, Li Xiaowei. Strategy to Group Partitioned Transition Relationship in Model CheckingJ. Journal of Computer-Aided Design & Computer Graphics, 2003, 15(9): 1101-1104.
Shao Ming, Li Guanghui, Li Xiaowei. Strategy to Group Partitioned Transition Relationship in Model CheckingJ. Journal of Computer-Aided Design & Computer Graphics, 2003, 15(9): 1101-1104.
Citation:
Shao Ming, Li Guanghui, Li Xiaowei. Strategy to Group Partitioned Transition Relationship in Model CheckingJ. Journal of Computer-Aided Design & Computer Graphics, 2003, 15(9): 1101-1104.
Strategy to Group Partitioned Transition Relationship in Model Checking
In BDD-based model checking, it is a critical step to build a small and efficient transition relationship. An effective method is to partition it according to the bit of future state. The author proposed a strategy to group the partitioned transition relationship. The experiment conducted on the benchmark of ISCAS89 exhibits that our method is more effective under certain conditions.
DownLoad: