谭华
- 作品数：4 被引量：6H指数：1
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西壮族自治区自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 32位并行数据的CRC-16编码器的FPGA实现被引量：5
- 2008年
- 在数据通信中,提高数据在通信中的可靠性,以及快速的数据处理能力一直是人们所追求的,循环冗余校验CRC就是一种广泛采用的差错控制方法,也是一种最常用的信道编码方法。在介绍CRC码原理之后,以经典的LFSR电路为基础,推导出产生32位并行数据的CRC-16编码表达式,用EDA工具设计出CRC-16编码模块,并对其进行综合仿真,验证其可行性。
- 谭华韦林田宜君
- 关键词：循环冗余校验编码器VHDL
- Avalon片上总线协议的形式化建模与模型检验分析被引量：1
- 2009年
- 片上总线协议是片上总线技术的核心,其设计的好坏直接影响到片上系统芯片的可靠性。针对Avalon片上总线协议的自身特点和复杂性,给出了Avalon总线协议的一种有限状态饥分析模型,并用CTL对协议的相关属性进行形式化描述,同时采用模型检验工具SMV进行验证分析。验证结果表明协议不存在安全漏洞。
- 谭华古天龙
- 关键词：片上总线有限状态机计算树逻辑
- 片上系统总线协议的形式化建模与模型检验分析
- 基于IP复用的片上系统设计方法的出现,推动了片上总线技术的诞生。片上总线协议是片上总线技术的核心,其设计的好坏对片上系统的可靠性有着重大影响。对片上总线协议的可靠性验证分析逐渐引起人们的关注。 与传统的通信协议、网络安...
- 谭华
- 关键词：片上系统形式化建模网络安全协议
- 文献传递
- Wishbone片上总线协议的形式化建模与模型检验分析
- 总线协议是片上总线技术的核心,其设计的好坏对片上系统的可靠性有着重大影响.由于片上总线协议自身的特点和复杂性,使得对其进行有效建模和验证提出了挑战.本文针对Wishbone片上总线协议的特点和复杂性,给出了一种形式化建模...
- 谭华古天龙常亮
- 关键词：片上总线形式化建模
