您的位置: 专家智库 > >

文献类型

  • 3篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 3篇状态机
  • 2篇容错
  • 2篇容错性
  • 2篇可重用
  • 2篇函数库
  • 2篇参考模型
  • 1篇信息保存
  • 1篇用户
  • 1篇用户自定义
  • 1篇树结构
  • 1篇通用总线
  • 1篇通用总线接口
  • 1篇自定义
  • 1篇总线
  • 1篇总线接口
  • 1篇接口
  • 1篇可重构
  • 1篇回调
  • 1篇SYSTEM...
  • 1篇UART

机构

  • 4篇北京大学

作者

  • 4篇谢峥
  • 4篇连志斌
  • 3篇王新安
  • 2篇柴玲玲
  • 2篇刘畅
  • 2篇刘晴晴
  • 2篇李秋平
  • 1篇宋建龙
  • 1篇罗永贵
  • 1篇刘芳

传媒

  • 1篇电子器件

年份

  • 1篇2017
  • 1篇2014
  • 1篇2013
  • 1篇2011
4 条 记 录,以下是 1-4
排序方式:
一种可重构的通用总线接口验证平台的研究及实现被引量:1
2011年
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测试激励,并具有自动检查运行结果及可重用性等特点。实践表明,与传统的验证平台相比,该平台在验证效率及功能覆盖率方面均有明显的优越性;与基于VMM搭建的验证平台相比,该平台也表现出了一定的灵活性、易操作性的特点。
刘芳谢峥连志斌王新安
关键词:UARTSYSTEMVERILOGVMM
一种实现和管理状态机信息的装置
本发明公开了一种实现和管理状态机信息的装置,包括绘制状态机的过程和修改状态机及管理状态机信息的过程。主要技术方案包括:创建状态机;按照预定规则绘制状态机的各个状态;按照预定规则的布局算法对所绘制的状态机的各个状态进行连线...
罗永贵连志斌谢峥伍国斌宋建龙
文献传递
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中,包含一种特殊的状态机核,可以从被验证设计的不同功能角度描述其内部状态,具有容错性和容非完整性,由抽象事件驱动,可以重用早期检验设计功能理解正确性...
谢峥王新安连志斌李秋平刘晴晴刘畅柴玲玲
文献传递
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中,包含一种特殊的状态机核,可以从被验证设计的不同功能角度描述其内部状态,具有容错性和容非完整性,由抽象事件驱动,可以重用早期检验设计功能理解正确性...
谢峥王新安连志斌李秋平刘晴晴刘畅柴玲玲
共1页<1>
聚类工具0