会议论文《基于PSL的FIFO的验证》发表于第五届中国测试学术会议，探讨了如何利用PSL（Property Specification Language）对FIFO（First In First Out）模块进行功能验证。文章提出了一种有效的验证方法，通过形式化方法确保FIFO在数据传输过程中的正确性与可靠性，为数字电路设计提供了理论支持和实践指导。
文档为pdf格式，0.64MB，总共5页。
举报
