咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 libraries
  • 1 篇 hardware design ...
  • 1 篇 computer bugs
  • 1 篇 high-performance...
  • 1 篇 simulation-based...
  • 1 篇 embedded systems
  • 1 篇 reconfigurable a...
  • 1 篇 register transfe...
  • 1 篇 application spec...
  • 1 篇 computational mo...
  • 1 篇 functional verif...
  • 1 篇 embedded system
  • 1 篇 formal specifica...
  • 1 篇 fpga architectur...
  • 1 篇 top-down modelin...
  • 1 篇 kernel
  • 1 篇 formal verificat...
  • 1 篇 dynamically reco...
  • 1 篇 verification-dri...
  • 1 篇 field programmab...

机构

  • 1 篇 univ new s wales...

作者

  • 1 篇 gong lingkan
  • 1 篇 diessel oliver

语言

  • 1 篇 英文
检索条件"主题词=simulation-based functional verification"
1 条 记 录,以下是1-10 订阅
排序:
Modeling Dynamically Reconfigurable Systems for simulation-based functional verification
Modeling Dynamically Reconfigurable Systems for Simulation-b...
收藏 引用
IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)
作者: Gong, Lingkan Diessel, Oliver Univ New S Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia
Dynamically Reconfigurable Systems (DRS), which allow logic to be partially reconfigured during run-time, are promising candidates for embedded and high-performance systems. However, their architectural flexibility in... 详细信息
来源: 评论