张辉
- 作品数：8 被引量：6H指数：2
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于FPGA流水线CPU控制器的设计与实现被引量：4
- 2008年
- 针对MIPSCPU流水线工作过程产生的数据相关,本文基于FPGA设计并实现了一种能有效解决数据相关的硬布线控制器。基于旁路方法,在控制器中对译码段、执行段和访存段进行有效的检测,并将检测信号合成为旁路控制信号,然后由旁路模块实现数据前推功能;使用VHDL实现控制器的设计;在FPGA平台上对控制器进行仿真验证,并给出CPU测试程序的仿真结果。结果表明:所设计的控制器能有效协调流水段工作,解决由数据相关产生的断流问题。
- 赖兆磬潘明张辉
- 关键词：FPGA流水线数据相关
- 基于IP复用的片上系统的形式化验证技术研究
- 由于片上系统(SoC)的规模和功能在不断膨胀,为了保证设计的正确性,缩短设计的周期,在设计过程中的验证就变得越来越重要,也更为复杂,向业界提出了挑战。 SoC的验证包括模拟、仿真和形式化验证。本文主要针对基于IP复用的...
- 张辉
- 关键词：PETRI网IP复用片上系统形式化验证模块化设计
- 文献传递
- 一种嵌入式系统扩展流关系Petri网及应用
- 为了将数据流和控制流在同一个模型中明确标识,将经典 Petri 网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系 Petri 网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型...
- 张辉董荣胜高西
- 关键词：PETRI网时间自动机CTLUPPAAL
- 文献传递
- AHB片上系统总线的建模与验证
- 2008年
- 如何有效的对SoC设计进行验证已经成为缩短设计周期的关键问题。针对这个问题,本文提出一种形式化建模与验证方法,对片上系统AMBA工业总线规范的AHB总线协议进行形式化规格;建立了与AHB协议规格对应的有限状态机和SMV模型,使用CTL描述了仲裁器的公平性、从单元活性、从单元的交互操作性、互斥性和无饥饿属性;采用SMV模型检验器对AHB总线协议模型的无饥饿属性进行了自动化验证。结果表明所提方法能够有效应用于SoC的验证。
- 张辉董荣胜
- 关键词：AHB有限状态机计算树逻辑符号模型检验
- 一种嵌入式系统扩展流关系Petri网及应用
- 2007年
- 为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证。验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的。
- 张辉董荣胜高西
- 关键词：PETRI网时间自动机CTLUPPAAL
- 嵌入式五级流水线CPU核的设计与实现被引量：2
- 2008年
- 本文基于FPGA平台设计并实现了一种嵌入式16位RISCCPU核。以MIPSCPU指令集为参考,完成指令集设计;对指令处理过程进行抽象,把指令分成取指、译码、执行、访存、写回五级流水处理,根据处理过程所需要的元件构建五级数据通路;针对流水线处理产生的数据相关构建旁路通路;根据五级数据通路及旁路通路所需要的协调信号构建控制通路;把数据通路和控制通路融合成CPU核。采用VHDL实现CPU核;在CPU核上运行测试程序,并给出仿真结果;在FPGA平台上对CPU核进行验证。结果表明了所设计CPU核的有效性。
- 赖兆磬潘明许勇张辉
- 关键词：FPGACPU核数据通路控制通路
- 基于FPGA CPU数据通路的设计与实现被引量：1
- 2008年
- 针对MIPS CPU流水线工作过程产生的数据相关,基于FPGA设计并实现了能有效解决数据相关的数据通路。设计五种基本数据通路,并采用流水线技术将它们整合成五级数据通路;在EX段后到ALU之间和WB段后到ALU之间构建旁路通路,从而形成总的数据通路;使用VHDL实现数据通路;编写测试程序对数据通路进行验证,并在FPGA平台上进行仿真验证。结果表明:所设计的数据通路能使数据正常流动,解决由数据相关产生的断流问题。
- 罗海波赖兆磬张辉陈祖希
- 关键词：FPGA数据通路流水线数据相关
- 嵌入式CPU指令Cache的设计与实现
- 2008年
- 针对嵌入式CPU指令处理速度与存储器指令存取速度不匹配问题,本文基于FPGA设计并实现了可以有效解决这一问题的指令Cache。根据嵌入式五级流水线CPU特性,所设计指令Cache的地址映射方式采用需要资源较少的直接映射(Direct Mapping),替换算法采用速度较快的先进先出(FIFO);使用VHDL实现指令Cache;对所设计指令Cache进行功能仿真和时序仿真并给出功能仿真结果。仿真结果表明了所设计指令Cache的有效性。
- 陈祖希赖兆磬张辉
- 关键词：FPGA高速缓存直接映射
