[IEEE IEEE International SOC Conference - Portland, OR, USA (17-20 Sept. 2003)] IEEE International [Systems-on-Chip] SOC Conference, 2003. Proceedings. - FVP: a formal verification platform for SoC
Wen-Shiu Liao, ; Pao-Ann Hsiung,
- 作者Wen-Shiu Liao, ; Pao-Ann Hsiung,
- 文件大小283.87KB
- 发表时间2003
- DOI10.1109/soc.2003.1241454
- 页码21-24