首页> 外文会议>Great lakes symposium on VLSI >Symbolic execution of data paths
【24h】

Symbolic execution of data paths

机译:符号执行数据路径

获取原文

摘要

We present a data-path model which concisely captures the path constraints imposed by a data-path, such as bus hazards, register constraints, and control encoding limitations. A process for expressing arbitrary datapaths in terms of this model's base components and techniques for systematic translation into Boolean functions are described. Finally, this model is expanded to represent the limitations of generating as well as moving operands by incorporating dataflow graphs. The power of this representation is demonstrated by applying the path-constrained model to scheduling on a commercial DSP microprocessor.
机译:我们介绍了一种数据路径模型,它简明扼要地捕获了数据路径所施加的路径约束,例如总线危险,寄存器约束和控制编码限制。描述了在该模型的基础组件方面表达任意数据路径的过程和系统转换为布尔函数的技术。最后,该模型扩展以表示通过结合数据流图来表示生成的局限性以及移动操作数。通过将路径约束模型应用于商业DSP微处理器的调度来证明该表示的功率。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号