推荐星级：

基于动态语言的系统描述、验证和综合

更新时间：2020-02-08 19:47:19 大小：4M 上传用户：gsy幸运查看TA发布的资源 标签：动态语言 下载积分：1分评价赚积分（如何评价?）打赏收藏评论(0) 举报

资料介绍

随着集成电路工艺的高速发展,单块集成电路上的晶体管数目越来越多,更多地以复杂的片上系统(SoC)形式出现。集成电路设计也从原来的寄存器传输级(RTL)转向系统级(ESL),由此系统级设计语言也适时而生。这是一种有能力在多个设计抽象级上描述电子系统的语言,从它的形成来看,它们来自于①对经典的硬件描述语言的扩展,②对通用串行语言的扩展,④一种完全全新的设计。它们的出现和发展极大提高了设计人员的生产力。在这三种分类中,其中来自对通用串行语言C/C++扩展的SystemC广受关注,已经成为事实上的标准。

由于面向硬件设计的系统级语言和通用语言为基础软件技术的独立发展,使得它们无法吸收软件技术发展的最新成果,这在一定程度上限制了设计人员的开发效率。其中近年来逐渐发展并流行的动态语言(如Python)已经被广泛地使用在各种大型项目中,并且取得了骄人的战绩。软件巨头微软公司也在他们的软件升级中加入各种动念性能的支持,如C＃的新版本和Iron Python的建立。使用这些新兴的软件技术极大地缩短了产品开发的周期,然而如何把这些优势扩展到系统级设计是一个极富挑战性的课题。源于此,本文以流行的动态语言Python为基础,在这方面做有益的探索和尝试。主要的工作如下:

(1)提出新式的动态系统设计的定义和由此而生的新流程。动态系统描述定义为可动态修改的状态描述集合。它是贯穿本文的核心概念,系统设计实现的三阶段(描述、验证和综合)都建立在此基础之上。它区别于传统的建立在各种设计文件为基础的静态系统描述概念。

利用流行的Python动态语言,我们设计了动态系统级设计语言PDSL(Pythonbased Dynamic System Language),用户可以通过它完成基于动态系统描述的整个流程。

(2)设计并实现PDSL中的的动态描述方式和对应的描述要素。用户可利用PDSL中各种描述要素(如模块,数据,过程等)构建一个动态系统,并且提供各种机制能够以程序方式动态添加、删除和修改系统的结构和行为。

(3)设计并实现了PDSL中动态系统的验证。这一部分首先定义了仿真时间的概念,并基于此设计和实现了一个离散事件驱动型系统仿真内核。另外,这一部分还定义...