会议论文《Wishbone片上总线协议的形式化建模与模型检验分析》发表于第十三届计算机工程与工艺会议(NCCET09’)，旨在通过对Wishbone总线协议进行形式化建模，提高其设计的可靠性和正确性。文章采用模型检验方法对协议进行验证，确保其在复杂系统中的稳定运行。研究为片上系统设计提供了理论支持和实践指导。
文档为pdf格式，0.77MB，总共6页。
举报
