SpinalHDL_Chinese
  • 关于SpinalHDL(About SpinalHDL)
  • 开始入门(Getting Started)
  • 数据类型(Data Types)
  • 结构(Structuring)
  • 语义(Semantic)
  • 时序逻辑(Sequential logic)
  • 设计错误(Design Errors)
  • 其他语言特征(Other language features)
  • Libraries(库)
  • 仿真(Simulation)
  • 形式验证(Formal verification)
    • 通常(General)
    • 形式后端(Formal backend)
    • 安装需求(Installing requirements)
    • 举例(Example)
    • 实用程序和原语(Utilities and primitives)
    • 限制(Limitations)
  • 例子(Examples)
SpinalHDL_Chinese
  • »
  • 形式验证(Formal verification)
  • 查看页面源码

形式验证(Formal verification)

  • 通常(General)
  • 形式后端(Formal backend)
  • 安装需求(Installing requirements)
  • 举例(Example)
    • 一、外部断言(External assertions)
    • 二、内部断言(Internal assertions)
    • 三、外部激励(External stimulus)
    • 四、更多的断言/传递(More assertions/past)
    • 五、假设存储内容(Assuming memory content)
  • 实用程序和原语(Utilities and primitives)
    • 一、断言/时钟/复位(Assertions/clock/reset)
    • 二、给定信号初始值(Specifying the initial value of a signal)
    • 三、给定初始化声明(Specifying a initial assumption)
    • 四、存储内容(Memory content)
    • 五、在复位区域内给定断言(Specifying assertion in the reset scope)
    • 六、形式化原语(Formal primitives)
  • 限制(Limitations)
    • 四、例子(Example)
    • 五、开发区域(Developers Area)
上一页 下一页

© 版权所有 2022, THU-CGRA.

利用 Sphinx 构建,使用了 主题 由 Read the Docs开发.