一种通信协议的报文路径信息在混合语言验证系统中的提取方法

    公开(公告)号:CN103530446A

    公开(公告)日:2014-01-22

    申请号:CN201310440282.2

    申请日:2013-09-25

    Abstract: 本发明提供了一种通信协议的报文路径信息在混合语言验证系统中的提取方法,该发明将报文路径信息在单独C++(SystemC)或是Verilog语言验证系统中提取,扩展到在C++(SystemC)和Verilog两种混合语言验证系统中提取并其输出在同一模块中,同时将带时序的Verilog语言验证环境中RTL(RegisterTransferLevel,寄存器传输级)仿真时间和不带时序的C++(SystemC)语言验证环境仿真时间进行相应调整,从而减少报文路径在图形显示时带来的混合语言验证系统中时间间隔过大的问题,保证了报文路径可视化的连续性,为通信协议在C++(SystemC)和Verilog两种混合语言验证环境间的仿真提供了重要的验证、测试辅助手段。

    一种基于有限数据一致性状态的服务器节点数据缓存方法

    公开(公告)号:CN103294611B

    公开(公告)日:2015-06-17

    申请号:CN201310092990.1

    申请日:2013-03-22

    CPC classification number: G06F12/0815

    Abstract: 本发明专利公开一种基于有限数据一致性状态的服务器节点数据缓存方法,包括如下步骤:1)发出访存信息,判断访存地址索引匹配是否正确,且数据一致性权限是否满足访问要求;2)从被请求方的节点控制器远端数据缓存或节点控制器本地数据缓存读出一致性独占态、共享态、转发态的远端数据或本地数据;3)仅将一致性独占态、共享态、转发态的远端数据或本地数据写入请求方的节点控制器远端数据缓存或本地数据缓存。本发明可有效降低跨节点访问频度并消除节点数据缓存替换带来的额外开销,此外,可以实现冗余度和性能的均衡控制,避免在统一目录下的替换串扰,从而大大提高了服务器系统性能。

    一种基于有限数据一致性状态的服务器节点数据缓存方法

    公开(公告)号:CN103294611A

    公开(公告)日:2013-09-11

    申请号:CN201310092990.1

    申请日:2013-03-22

    CPC classification number: G06F12/0815

    Abstract: 本发明公开一种基于有限数据一致性状态的服务器节点数据缓存方法,包括如下步骤:1)发出访存信息,判断访存地址索引匹配是否正确,且数据一致性权限是否满足访问要求;2)从被请求方的节点控制器远端数据缓存或节点控制器本地数据缓存读出一致性独占态、共享态、转发态的远端数据或本地数据;3)仅将一致性独占态、共享态、转发态的远端数据或本地数据写入请求方的节点控制器远端数据缓存或本地数据缓存。本发明可有效降低跨节点访问频度并消除节点数据缓存替换带来的额外开销,此外,可以实现冗余度和性能的均衡控制,避免在统一目录下的替换串扰,从而大大提高了服务器系统性能。

    一种Cache一致性协议软件模拟验证方法

    公开(公告)号:CN102880537A

    公开(公告)日:2013-01-16

    申请号:CN201210329080.6

    申请日:2012-09-07

    Inventor: 张峰 陈继承

    Abstract: 本发明提出一种Cache一致性协议软件模拟验证方法,该方法是软件模拟验证可通过人工方式撰写约束模型同时进行带约束的伪随机测试,对于特定的目标进行验证,并反馈协议的正确性与缺陷。基于软件模拟的方法,首先确定基于扩展型Cache Coherence协议的多级一致性描述方式,然后实现一种软件模拟验证的方法并统计覆盖率和进行错误汇报。本方法可以有效验证多状态空间下多级域的Cache Coherence一致性协议,使得协议表实现逻辑上建立对应关系,并通过全局检查器判定系统依照协议表的状态迁移是否符合一致性定义,并初步判断依照该协议表构建的模型是否具有期望的性质。该模型系统的显著优点在于它能自动生成反例,用来帮助调试系统的错误,用于加速系统诊断和调试。

    一种基于模糊控制的动态电压调节设计方法

    公开(公告)号:CN103592983A

    公开(公告)日:2014-02-19

    申请号:CN201310552663.X

    申请日:2013-10-30

    Inventor: 张峰 陈继承

    Abstract: 本发明提供一种基于模糊控制的动态电压调节设计方法,利用模糊逻辑在处理具有不确定信息时的特点来实现维持用户满意度的同时尽可能多的降低频率和电压,从而控制功耗,要实现以用户的满意度为指标来优化系统,包括以下两个问题:用户满意度的测量,电压调节方法,其中:对于用户满意度测量的问题,是基于系统视频输出动态测量用户可感知的性能来实现和比较用户的满意度,通过基于用户满意度的电压调节算法设计,在一定样本的用户体验实践并统计系统功耗。在人机交互环境下选取OpenOffice Word应用程序进行文字处理。实践验证可随机在各类人群中选取200人作为调查对象,分别让他们在没有电压调节时以及本设计的DVFSBFL算法实现下对比测试者对Word应用程序的满意度和功耗情况,对比参照系统进统计分析,最后可以将得到本发明的动态电压调节优势。

    一种PCI-E接口固态硬盘控制器的设计方法

    公开(公告)号:CN102929813B

    公开(公告)日:2016-06-01

    申请号:CN201210399068.2

    申请日:2012-10-19

    Inventor: 张峰 陈继承

    Abstract: 本发明提供一种PCI-E接口固态硬盘控制器的设计方法,固态硬盘控制器整体设计采用SOC架构,所有功能由FPGA完成。采用嵌入式处理器软核作为主控制器,利用FPGA IP核,并设计实现NAND FLASH ONFi控制器。PCI-E控制器核作为高速串行传输接口,实现高速传输。嵌入式处理器模块负责NAND Flash的读写控制与SCSI协议命令之间的转换,提高访问效率。控制器完成NAND FLASH存储管理和纠错算法。对于主机端的文件系统而言,固态硬盘控制器作为基于块的NAND文件系统结构,具有结构简单和通用性高的特点,具备可编程、设计灵活性、设计周期短、可在线升级和二次开发等优点,拥有快的构建方式,较低的实现成本。SCSI的通用性和兼容性,可以作为普通盘符,即插即用。

Patent Agency Ranking