An I/O Efficient Model Checking Algorithm for Large-Scale Systems Very Large Scale Integr. Syst. 23(5): 905-915 (2015)

Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang
January 2015
PDF DOI
Type
Conference paper
Publication
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Conf