【摘 要】
：
软硬件协同设计工具不但需具有软硬件功能划分的能力，而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础，可重用现有软硬件设计工具资源
【机 构】
：
北京大学深圳研究生院信息工程学院,北京大学信息科学技术学院
论文部分内容阅读
软硬件协同设计工具不但需具有软硬件功能划分的能力，而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础，可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架。重点讨论其中的设计描述问题。采用这种基于语言变换的软硬件协同设计工具方案有利于对系统的活性、安全性、接口一致性等性质进行高层仿真与形式验证，具有可用性、易扩展好等优点。
其他文献
前言被世界推崇为五大法系之一的中华法系,自战国至清朝延续两千多年,在中国和世界法制史上占据着重要的历史地位和深远的影响。但是,自1840年鸦片战争后,随着帝国主义的入
目前我国经济一直呈现开放性发展,商业银行呈现多元化成长,而金融领域竞争已经进入白热化阶段,利润空间持续较少,而社会融资方式的转变,又使得各大商业银行开始争抢对公业务
随着世界经济一体化程度逐渐加深,资本不再局限于一定区域,而是在全球流动的速度不断加快、规模日益增加、范围不断扩大,为各国对外投资和引用外国直接投资提供了便利条件。
笔者从一起消褪文件的检验案例入手,总结光谱法在显现消褪文件中的特殊作用,以期摸索出一种显现消褪文件的方法。
The author starts from the test cases that fade the do
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
财务管理体系随着环境的变迁而不断变革。本文旨在论述现代企业应如何更新理财观念、目标、内容、职能、技术方法,并注重经济、社会和生态效益相和谐,增强核心竞争能力。
长期不和(Feud):一种怀恨,通常是长期的争吵或者敌对,特别是在两个家庭或者家族之间。这就是字典对于长期不和(Feud)的解释。在摔角界,到处都是不和留下的气味,这些片断,是绝
近年来,随着华为、中兴等通讯制造企业业务的不断扩张以及人们通讯需求的持续升级,我国通讯设备制造商在全球的企业行为越来越广泛,随着通信技术及业务模式的不断进步,传统商
我国是一个农业大国,近年来,“三农”问题得到了政府乃至社会各界的广泛关注,“三农”问题的解决对于保持我国经济社会的稳定和快速发展都具有重要意义。在农村经济发展中,农
研究了K417合金在400-850℃同相(IP)和反相(OP)的热机械疲劳(TMF)行为,并且与850℃等温疲劳(IF)性能进行了比较结果发现:K417合金IF和TMF都具有循环硬化特征,IF的循环硬化能