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

摘要：

介绍了一种将TCSP语言用于硬件高层次系统设计的方法.该方法以HDL语言作为系统功能实现的核心,以TCSP语言作为系统高层次描述的外壳,从而弥补了HDL在高层形式说明和结构与实时功能表达方面的不足;同时该方法将时序与功能一体化描述,进一步丰富了硬件系统规格的内容,为复杂的硬件系统设计提供了一种可执行的规格说明方法.

关键词：Timed CSP、HDL、高层次系统描述、SEC

所属期刊栏目：32

分类号：TP303(计算技术、计算机技术)

在线出版日期：2006-05-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：14-16