ISSN 1000-1239 CN 11-1777/TP
Symbolic Model Checking of WISHBONE on-Chip Bus
Pang Tao,Duan Zhenhua
Journal of Computer Research and Development . 2014, (12): 2759 -2771 .  DOI: 10.7544/issn1000-1239.2014.20131164