基于VHDL语言的IP核验证

1.引言在IC(integrated circuit集成电路)发展到超大规模阶段的今天,基于IP(Intellectual Property,知识产权)核的IC设计及其再利用是保证SoC(system onchip,片上系统)开发效率和质量的重要手段。如果能对IP核进行验证、测试和集成,就可以加速SoC的设计,而这需要从以下5个方面进行考虑。     

用理想平面应变试件直接测定延性材料K_(IC)方法的研究

推荐三种理想平面应变试件,介绍了用这三种试件直接测定延性材料K_(IC)方法.     

试析新型IC智能测试仪的原理、结构及其使用方法

IC芯片商家及用户在使用IC芯片过程中需对IC芯片进行测试，以判断其好坏。开发通用集成电路测试仪是解决这一问题的一条有效途径。本分析了江汉大学的一项科研成果“IC智能测试仪”的测试原理、系统结构及使用方法。     

断裂参数J的原理和测试方法

本文首先介绍了断裂参数J(能量线积分)的物理意义,给出了测试平面应变断裂初度J_(IC)的一种比较简便而精确的、用三点弯曲试样和单点法计算J_(IC)的实用公式。其次,介绍了用同一试样同时测定K_(IC)和J_(IC)的方法,并用此法验证了应力强度因子K_I与能量线积分J的关系以及本文介绍的J_(IC)的实用计算公式。最后给出了用上述方法测定的七种在给定热处理条件下的国产高强钢的平面应变断裂韧度值。     

基于分层八邻域方向预测算子的IC芯片图像拼接技术

为了对IC芯片进行精密光学检测,需要完整而准确地获取芯片形貌的图像.文中针对IC芯片表面形貌图像的获取要求,提出了一种基于分层八邻域方向预测算子的模板匹配方法,并运用于高精度要求的IC芯片图像处理工作中.通过对获得的芯片显微图像的重叠部分进行匹配点的快速准确搜索,进而实现了芯片精密显微图像的高速拼接处理.编程实验证明,采用该方法可获得IC芯片表面的清晰图像,使芯片的形貌和缺陷等细节能够得到很好的展现.     

硬件设计的形式化验证技术

形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法：定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点，探讨了形式化验证技术所面临的挑战，以及目前形式化验证技术可能的一些研究方向.     

几种松针水提液抗氧化活性的比较研究

对四种松针春季老叶和嫩叶水提物的还原力和抗氧化能力进行了测定.原料经研磨、用蒸馏水浸提和离心得到水提液.还原力的测定以BHT为对照,抗氧化能力的测定采用DPPH·、羟自由基(OH·)、超氧根阴离子自由基(O2-)三种方法,经直线回归分析和计算IC50值,结果表明四种松针老叶都有较高的还原力和抗氧化能力,且对上述几种自由基清除率存在显著的荆量效应关系,说明松针在抗氧化方面有巨大的开发潜力.     

基于IC卡的琴房管理系统的设计与实现

在分析艺术院校琴房使用需求的基础上,采用C#.NET和SQL Server设计与开发基于IC卡的琴房管理系统,实现了琴房的查询、预约、登记、收费和统计等功能.该系统通过实际验证,效果良好.     

载波移相技术的级联型多电平变换器IC门设计

大容量电机驱动、交流电力设备等级联型多电平变换器应用范围越来越广泛.针对传统的IC门和控制器无法适应多路PWM波的情况,提出基于载波移相技术的多电平变换器IC门设计.该IC门可通过DSP或微型机对其进行相关参数的预置,满足级联型多电平变换器PWM波驱动的要求.仿真和实验验证了基于载波相移技术的级联多电平变换器IC门设计的可行性.     

基于空间规划改革背景下的城市开发边界研究

随着"建立国家空间规划体系"这一概念被中央提出,多个城市已经逐步开展了城市开发边界的划定工作,城市开发边界的划定已经取得了一些进展,我国城市类型多样,应比较研究各类型城市的开发边界划定,通过总结其方法并进行划定模式的研究,从而对即将进行的划定工作进行指导。本文主要对城市开发边界的概念进行了回顾,同时对国内外的实践工作进行了辨析,明确了城市开发边界划定的意义和作用,对比研究了我国已经进行城市开发边界的划定的三个城市:厦门市、武汉市和西安市,对城市的开发边界划定的方法和成果进行对比,总结了三种不同的划定模式:平稳控制型、加速统筹型和综合协调型。期望研究成果可以对目前即将开展城市开发边界划定的城市和广大的规划同行提供一些技术参考。     

可重用IP核验证方法研究

高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。     

深亚微米Flash NVMIC单元结构的电子显微分析

随着集成电路特征尺寸的不断缩小,器件结构越来越复杂,应用电子显微分析技术对IC的特定部位进行高空间分辨率的微结构分析,已成为IC新产品、新结构设计,新工艺开发和芯片生产质量保证的重要手段．结合深亚微米IC结构电子显微分析所涉及的FIB定位制样和TEM高分辨成像等关键技术的讨论,分析了一种新型的分立栅结构的深亚微米非挥发性闪烁存储器集成电路芯片(Flash NVM IC)的微结构特征,并从结构角度比较了其与堆叠栅结构Flash IC的性能.     

IC卡的优化设计及FPGA仿真

针对数字电路设计中面积和速度相互矛盾的问题,提出了AES算法的一种优化处理方法,将加密和解密共用一个存储器,并以此为基础针对密钥分组为128位的情况,对硬件结构进行了优化处理,使密钥扩展与加/解密模块共用4个替换盒,充分利用了硬件资源,达到较高的速度/面积比,由此设计出了适合IC卡的AES协处理器,并用Xilinx公司的集成开发软件XilinixISE6.0对该设计进行功能仿真、布局布线后仿真验证,结果证明本设计优化设计方案的可行性达到了IC卡对AES协处理器的要求.     

GSM/GPRS通信终端发射功率控制及校准方法

研究了GSM/GPRS系统中移动通信终端发射功率控制的必要性和原理及其移动通信终端功率控制的实现流程,在此基础上提出了曲线模拟和折线模拟两种方法,以实现移动通信终端发射功率校准,以及发射功率的精确控制,并对这两种方法进行了实际验证.验证结果表明采用基于这两种方法的校准都能较好地满足GSM/GPRS协议对移动通信终端发射功率的规定.并基于验证结果对它们各自的优缺点进行了分析、比较.还对前面提出的方法进行了推广,考虑了其在一般无线通信系统射频发射功率精确控制中的应用.     

地铁IC卡自动充值系统的设计与研究

针对地铁IC卡自动充值系统和IC卡的应用开发的现状,论述了自动充值系统的总体结构,给出了充值机的硬件体系机构和主要应用程序流程,金融网关的工作方式和程序主流程以及充值机与金融网关之间的通信.实现了公交地铁IC卡的自助充值,使公交卡具有更充分的开放性.     

基于指纹识别技术的考生身份验证系统的设计

本文设计了一种指纹IC卡考试系统.包括单片机控制部分的软、硬件实现,指纹IC卡部分的IC卡卡片原理及卡片结构,指纹识别部分中的指纹的采集、验证等.由于指纹的唯一性和不可复制性,使用该系统可杜绝考试中存在的替考现象,保证考生身份的真实性、可靠性和有效性,且节省人力,使用方便,便于考生信息的计算机管理.     

电力线通信中三导体电缆高频传输参数模型

为寻求电力线通信中对称三导体电缆的高频传输参数的一般模型,定义了对称三导体电缆的两种不同工作模式。根据这两种工作模式构造了一个变换矩阵,通过变换矩阵将多导体传输线的参数矩阵对角化,得出了对称三导体电缆在这两种工作模式下的传输参数的理论计算公式,通过实验验证了用这种方法计算结果的正确性。和传统的求电力通信电缆传输参数的方法相比,该方法简单,避免了传统方法中复杂的电磁场的分析与计算,并且更具有通用性。     

三种灰色关联度分析法比较研究

本文介绍了邓氏灰色关联度、相对变率关联度、斜率关联度三种分析方法.对它们的计算公式以及优缺点进行了解释和比较分析.给出实例进行了实证应用,验证了后两种方法的有效性.     

ASP.NET中Visual Basic.NET、JavaScript.NET和C#语言的区别

ASP.NET是微软推出新一代基于通用语言的编程框架,目前,ASP.NET支持3种编程语言.本文将这三种脚本编写语言在开发ASP.NET程序过程中的异同点进行了比较,以便于读者对这三种语言的学习和掌握.     

移动支付中二维码的安全性研究

移动支付是近年来新兴的一种便利快捷的支付手段,并迅速占有相当的支付市场份额.移动支付按支付距离分为近程支付和远程支付两种,本文研究的是第三方支付在近程支付常采用的一种方案.该方案以二维码信息技术为媒介,实现近程支付到远程支付的转换,最终完成支付.但由于所采用二维码本身的局限性,依托其作为第三方支付手段的过程中便出现了相关的安全威胁,其中最典型的是钓鱼威胁.本文详细分析了其可能存在的安全威胁,并采用特殊加密方法和第三方认证方法对这一问题进行处理,且对解决方法进行可行性分析,最后利用形式化验证的方法验证其安全性.