摘要
软硬件协同设计工具不但需具有软硬件功能划分的能力,而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础,可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架,重点讨论其中的设计描述问题。采用这种基于语言变换的软硬件协同设计工具方案有利于对系统的活性、安全性、接口一致性等性质进行高层仿真与形式验证,具有可用性、易扩展好等优点。
EDA tools for HW/SW codesign such as COOL, CORSAIR and POLIS are designed based on the finite state machine model, while this paper provides a blueprint on a EDA tool solution based on process algebra, and discusses the specification description problem as a key point. By applying Timed CSP as a high level specification language, this tool has the advantages such as easier to make formal validation in the high level, reuse of COT tools, extensibility etc.
出处
《微电子学与计算机》
CSCD
北大核心
2007年第6期28-30,34,共4页
Microelectronics & Computer