Verification之PSL之use
2024-09-08 07:37:43
1 Where can PSL be used?
• Documentation
– Requirements
– RTL Designs
• Controllers
– Memories, FIFOs, DMAs, bus controllers
• Finite State Machines (FSMs)
– Illegal states, sequence, correct encoding scheme
• Application Algorithms
– Data transformations (in simulation, not for FV)
– Testbench designs
• Black-Box Interfaces
– Protocols and interfaces (e.g., PCI bus, AHBA ARM bus)
• Verification (white-box, black-box, functional coverage)
– Simulation
– Formal verification tools
2 PSL in Formal Verification Environment
最新文章
- Maximo-删除应用程序
- 循环结构——whlie do whlie for for each
- Bash实用技巧:同时循环两个列表
- Memcached原理
- SSL证书的分类(按功能)
- 红外摄像头为什么使用850nm波长红外发射管
- C---数组名作函数参数
- 教你如何取消GCD任务
- java基础(二):谈谈Java基本数据结构
- 『宝藏 状态压缩DP NOIP2017』
- 入坑C++
- Tomcat配置Https环境
- django2_开发web系统接口
- 吴裕雄 python深度学习与实践(13)
- 浅谈CSS和JQuery实现鼠标悬浮图片放大效果
- [WPF 知识总结系列] —— 基本控件的简单样式集合
- 线段树(I tree)
- django所遇到问题简单总结
- Android-ColorsUtil工具类
- Notepad++软件的下载与安装步骤(图文详解)