会议论文《基于SMV的异步FIFO形式化验证方法》发表于第十四届计算机工程与工艺会议(NCCET10)。该文提出一种利用SMV工具对异步FIFO进行形式化验证的方法，有效提高了异步电路设计的可靠性和正确性。通过模型检测技术，实现了对异步FIFO行为的全面验证，为复杂系统的设计提供了理论支持和实践指导。
文档为pdf格式，0.28MB，总共4页。
举报
