Timed CSP在硬件高层设计中的应用

被引:0
|
作者
崔小欣
于敦山
崔小乐
盛世敏
机构
[1] 北京大学信息科学技术学院微电子所
关键词
TimedCSP; HDL; 高层次系统描述; SEC;
D O I
暂无
中图分类号
TN402 [设计];
学科分类号
摘要
介绍了一种将TCSP语言用于硬件高层次系统设计的方法。该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进一步丰富了硬件系统规格的内容,为复杂的硬件系统设计提供了一种可执行的规格说明方法。
引用
收藏
页码:14 / 16
页数:3
相关论文
共 3 条
  • [1] Study on Model Generation in Embedded Software Simulation Testing Platform. Cui Xiaole. . 2004
  • [2] A Formal Approach to Software Architecture. Allen R J. . 1997
  • [3] A Brief History of Timed CSP. Davies J,Schneider S. Theoretical Computer Science . 1995