1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. Java

交通灯控制器SVA验证实验：熟悉内联断言流程.pdf

交通灯控制器SVA验证实验：熟悉内联断言流程.pdf

    VCSSystemVerilog断言培训练习

    实验1：SVA/VCS整体内联工具流程–使用检查器

    Goal熟悉内联SVA流程

    位置SVA/lab_1

    设计交通灯控制器

    分配时间45分钟

    设计文件名为“traffic.v”。有两个状态机分别控制南北方向和东西方向的交通

    灯。状态变量分别命名为“ps0”和“ps1”。还有6个二进制信号是交通模块的

    输出，直接控制两个交通灯：

    信号功能

    ps05位FSM状态变量，采用1热编码表示南北车道

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >