|
论文《异步FIFO的模型检验方法》发表于2011年全国高性能计算学术年会，探讨了异步FIFO（先进先出）缓冲器的正确性验证问题。文章提出了一种基于模型检验的方法，用于检测异步FIFO在不同时钟域下的行为是否符合预期，确保数据传输的可靠性和一致性。该研究对提高并行系统和分布式系统的稳定性具有重要意义。 文档为pdf格式，0.52MB，总共5页。
- 文件大小:
- 532.48 KB
- 下载次数:
- 60
- 异步FIFO的模型检验方法 - 2011年全国高性能计算学术年会(HPC china2011).pdf
-
高速下载
| 
