电子设计自动化论文

论文摘要随着国内列车大规模提速,国际上特别是欧洲普遍使用的MVB（Multi-FunctionVehicleBus）技术在国内列车通信领域逐渐得到广泛的应用。MVB通信卡作为列...

论文摘要自然伽玛能谱测井仪是一种提供地下岩层的天然放射性总量及放射性元素铀、钍、钾丰度的仪器。钍（Th）、铀（U）、钾（K）三种元素的含量占地层中放射性元素总量的99%以上,其...

论文摘要模糊控制是智能控制的重要组成部分,能够对难以建立精确数学模型的控制对象进行有效的控制,因此具有广泛的应用领域,如专家系统、数字信号处理、过程控制、通讯系统等。传统的模糊...

论文摘要微电子技术的发展,特别是可编程逻辑器件的产生加速了电子设计技术的发展,现代电子设计技术的核心日趋转向基于计算机的电子设计自动化技术,即EDA技术。EDA技术采用的自顶向...

论文摘要在传统的表面贴装技术(SMT)生产中,从印刷电路板(PCB)的设计文件中提取的元器件贴装坐标及其它相关贴装参数经常存在错误。正常生产时需要多次在贴片机上调试,严重影响了...

论文摘要随着集成电路制造技术的发展,芯片的速度和集成度不断提高,功耗密度显著增大,同时为了延长手持设备中电池的使用时间、降低芯片的封装及散热成本,必须在芯片设计和实现时特别考虑...

论文摘要MIL-STD-1553B总线原本是美军航空电子综合系统的标准总线,被用来为各种系统之间的数据和信息的交换提供媒介。1553B总线具有高速、灵活的特点,通信效率高,修改...

论文摘要随着当今科学技术的不断发展,对于信号检测,尤其是微弱信号的检测提出了更高的要求。如何在一些极端条件下进行测量,检测出湮没在强背景噪声中的微弱信号并获得正确的数据,是一个...

论文摘要单片微型计算机（单片机）自问世以来,因其小巧灵活、成本低、控制能力强、易于产品化等优势,在社会各领域中得到广泛的应用。然而,随着信息时代的到来,传统单片机固有的结构缺陷...

论文摘要集成电路设计过程中，随着电路规模和复杂度的增大，设计错误变得越来越常见且难于处理。已有的验证算法和技术都是基于确保设计正确性的原则，回答电路实现和规格说明是否等价一致，...

论文摘要随着通信技术和计算机技术的发展,两大技术逐渐相互融合,计算机技术在通信领域中发挥着越来越重要的作用。传统的卫星话音处理工作流程是将解调输出的PCM基群话音信号连接到录音...

论文摘要高精度计时器常用于体育竞赛及各种要求有较精确定时的技术领域。通常,采用中规模集成电路即可实现高精度计时器的设计。本项研究将基于新一代硬件描述语言(HDL)、采取ASIC...

论文题目:模型检验的反例解释论文类型:博士论文论文专业:计算机科学与技术作者:沈胜宇导师:李思昆关键词:形式化验证,模型检验,电子设计自动化,反例解释,错误定位,反例压缩文献来...