检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华中科技大学电子与信息工程系,武汉430074
出 处:《微计算机信息》2007年第32期147-149,165,共4页Control & Automation
基 金:863基金资助项目(2005AA420050-05)
摘 要:随着SoC的出现和发展,软硬件协同验证已经成为当前的研究热点。本文对传统的基于ISS的软硬件协同验证方法进行改进,提出了一种基于SystemC和ISS的软硬件协同验证方法。该方法使用SystemC分别对系统进行事务级、寄存器传输级的建模,在系统验证早期进行无时序的软硬件协同验证,后期进行时钟精确的软硬件协同验证,并对仿真速度进行了优化。同传统的基于ISS的软硬件协同验证方法相比,该方法保证了软硬件的并行开发,且仿真速度快、调试方便,是一种高效、高重用性的软硬件协同验证方法。With the appearance and development of SoC, hardware/software co-verification has been a focus of current research. In this article, on the basis of traditional co-verification method based on ISS, we put forward a co-verification method based on SystemC and ISS. In this method, we model the system and co-verify hardware/software at the transaction level and RTL level with SystemC. Furthermore, we optimize the simulation techniques. Compared to traditional co-verification method based on ISS, our method insures hardware and software's concurrent developing, provides faster simulation and convenient debugging, and it has been proven to be a highly effective and highly reusable co-verification method.
关 键 词:软硬件协同验证 指令集仿真器 SYSTEMC 事务级建模 仿真加速
分 类 号:TN407[电子电信—微电子学与固体电子学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222