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