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
一月 2015
PDF DOI
类型
会议文章
出版物
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Conf