您的位置： 专家智库 > >

章玮

作品数：4 被引量：26H指数：2
供职机构：同济大学更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 2篇电子电信

主题

  • 2篇FPGA
  • 1篇代码
  • 1篇代码转换
  • 1篇断言
  • 1篇自动化
  • 1篇自动化系
  • 1篇自动化系统
  • 1篇总线
  • 1篇基于FPGA
  • 1篇PSL
  • 1篇SOC
  • 1篇64位CPU
  • 1篇ASIC
  • 1篇ASIC设计
  • 1篇E语言
  • 1篇IC设计

机构

  • 4篇同济大学

作者

  • 4篇章玮
  • 2篇徐盛
  • 1篇金钊
  • 1篇杨晓峰

传媒

  • 2篇电子设计应用
  • 1篇今日电子

年份

  • 1篇2007
  • 3篇2006
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于e语言的验证自动化系统被引量：2
2006年
本文介绍了目前国外芯片设计公司最流行的验证技术-基于e语言的自动验证系统。通过e语言可以方便地建立验证环境,随机产生基于约束的激励,完成功能覆盖率验证,大大提高验证的效率。
章玮杨晓峰徐盛
关键词：E语言
原型验证过程中的ASIC到FPGA的代码转换被引量：11
2006年
在对ASIC设计进行FPGA原型验证时,由于物理结构不同。
章玮
关键词：ASIC设计FPGA代码转换
基于断言的验证方法在总线协议验证中的应用被引量：13
2006年
随着ASIC和SoC设计复杂程度的不断提高,功能验证越来越受到重视。作为新兴的验证方法,基于断言的验证得到越来越广泛的应用。本文介绍了基于断言的验证方法及其应用于功能验证的诸多优点,总结了断言验证在总线协议验证中的应用方法,并采用PSL语言举例进行了说明。
徐盛章玮金钊
关键词：SOCPSL
基于FPGA的64位CPU验证平台的建立
现代IC设计中，随着设计规模的扩大和复杂度的增长，验证成为最严峻的挑战之一。在现代ASIC设计中，很难用单一的验证方法来对复杂芯片进行有效的验证，为了将设计错误减少到可接受的最小量，需要将一系列的验证方法和工具结合起来。...
章玮
关键词：IC设计64位CPUFPGA
文献传递
全选 清除 导出
共1页<1>
聚类工具0