已录用 MTXSJ-20230606875 (邹德龙)
已录用 dfyl-20230601-61 (王丹)
已录用 Z-230601875 (姜小鹏、何英莲)
已录用 SBGLYWX-230531875 (陈小飞,欧鹏)
已录用 T-230531987 (朱振越)
(1) 准确填写您的联系方式,以便稿件录用和杂志出刊后及时与您联系 ( 如需咨询其他问题,请联系客服人员 )。 (2) 不违反宪法和法律,不损害公共利益。 (3) 是作者独立取得的原创性、学术研究成果,不侵犯任何著作权和版权,不损害第三方的其他权利;所有来稿必须通过检测,文字复制比必须低于用稿标准,引用部分文字的要在参考文献中注明;署名和作者单位无
技术专栏——5G与车联网
5G车联网技术与标准进展朱雪田;1-4+9
基于5G车联网的绿波通行系统研究田亮;张岩;徐黎;5-9
5G中Multi-TRP based URLLC传输方案设计王瑜新;邱刚;鲁照华;蒋创新;何震;10-13
车路协同的云管边端架构及服务研究熊小敏;杨鑫;刘兆璘;朱雪田;14-18+31技术专栏——太赫兹技术及应用
太赫兹固态放大器研究进展郭方金;王维波;陈忠飞;孙洪铮;周细磅;陶洪琪;19-25
基于VO2相变特性的THz波动态调控研究进展路学光;彭博;黄婉霞;施奇武;26-31+39
基于MOCVD生长材料的高电流密度太赫兹共振隧穿二极管车相辉;梁士雄;张立森;顾国栋;郝文嘉;杨大宝;陈宏泰;冯志红;32-33+39人工智能
一种改进的RefineDet多尺度人脸检测方法孙贵华;陈淑荣;34-39
基于FPGA的深度学习目标检测系统的设计与实现陈辰;严伟;夏珺;柴志雷;40-43+47
基于深度学习的人脸活体检测算法黄海新;张东;44-47微电子技术
基于Innovus提升芯片性能的物理实现方法边少鲜;David He;栾晓琨;蒋剑锋;翟飞雪;蔡准;48-52+60
鳍式场效应晶体管结合自热效应的电迁移分析张骁竣;季昊;聂笔剑;53-60
基于硬件加速器的高性能芯片仿真与验证王雷;王晨光;吴斌;61-62+67
行为级模型功能比对验证的自动方法学廖璐;候春源;李跃平;王美;刘欢艳;黄丞权;徐南南;董丽霞;63-67
基于APD的2.5D封装中介层自动化设计张成;谈玲燕;曾令玥;68-70+74
一种基于可变相位累加器的全数字锁相环杨檬玮;田帆;单长虹;71-74
基于Kogge-Stone加法器改进的双域模乘器杨丹阳;杨萱;陈韬;戴紫彬;李伟;75-78+82
惯性导航系统中浮点计算加速单元设计田换换;朱晓燕;79-82+86测控技术与仪器仪表
单兵便携式水下综合信息系统设计与实现胡延平;黄晓霜;政书钧;83-86
高压电力廊道巡检机器人控制系统研究王凯丰;王忠强;谢丽蓉;杨欢;87-90+94
基于近场测试的自参考算法杜艳;杨顺平;91-94+98通信与网络
三路带通混叠信号数字接收机设计王洪梅;姚冲;王法广;李世银;宋金玲;95-98+103计算机技术与应用
基于多层感知机代理模式的地球系统模式物理参数优化方法吴利;黄欣;薛巍;99-103
基于图像处理的疲劳驾驶预警研究刘朝涛;张雪佼;104-108电子元件与电路
一种针对分组密码的抗能量攻击电路设计严迎建;郑震;109-112+117
对负反馈放大电路增益估算的误差研究卢厚元;113-117
NoC资源网络接口设计许川佩;王纪锋;牛军浩;118-123
一种用于无刷直流电机控制器的低成本专用电路王晓蕾;徐彦;王振兴;涂金生;王传傲;朱毅;124-127+130
基于FPGA蓝牙通信技术的智能电子锁系统柏佳;魏鑫;朱广;128-130
行为级模型功能比对验证的自动方法学
廖璐候春源李跃平王美刘欢艳黄丞权徐南南董丽霞
紫光长存(上海)集成电路有限公司Cadence Design System
摘要:在混合信号芯片设计领域,Verilog/Systemverilog/VHDL等行为级模型被广泛应用于描述模拟和混合信号模块的电路特性,用以帮助实现更快速全面的全芯片功能验证。为了保证正确、有效和全面的全芯片功能验证,电路模块的行为级模型和晶体管级设计之间的功能比对验证(Behavior vs.Schematic,BVS)非常关键。在此之前,利用现有的EDA工具,只能进行逻辑状态的BVS矢量检查,而不能进行实数类型的矢量检查。为了更好地描述模拟和混合信号模块的行为特性,采用了Wreal模型和SV-UDT(Systemverilog-User Defined Type),因此对EDA工具提出了新的要求,需要其支持实数类型的矢量检查。本文描述了一种行为级模型功能比对验证的自动方法学,基于Cadence XPS仿真器的矢量检查功能,可以同时实现逻辑状态和实数类型的自动比对检查。实数类型矢量检查是向EDA供应商Cadence提出的一种新的概念和需求,且已经在XPS仿真器中成功实现。
关键词:功能比对验证; BVS; Wreal模型; 实数类型矢量检查; XPS; 覆盖率全面的输入激励;
稿件查询
主办单位:华北计算机系统工程研究所
出版周期:月刊
ISSN:0258-7998
CN:11-2305/TN
出版地:北京市
语种:中文
开本:大16开
邮发代号:2-889
创刊时间:1975
版权声明
请各位老师作者注意,凡是咨询正在审核期的文章,请勿一稿多投,初审审稿期一般 1-3个工作日,作者可以随时在本站上输入文章编号查询稿件审核情况。稿件录用后,编辑人员会在通知作者的情况下提出修改意见,以便适应期刊社里的定位要求。
(本网站所公布期刊均为正规刊物,如有侵权,请及时告知!)
本平台为期刊杂志协同采编平台,本站成立于2015年,主要从事文化艺术交流、版权代理、期刊信息整理发布、宣传。非杂志社官网!
本站仅为有实际合作关系的杂志期刊整理信息、快捷组稿指导和宣传,本站致力于方便广大作者期刊查询、分类、便捷投稿、在线答疑等。
若有期刊社不希望我期刊杂志协同采编平台收录贵刊的,请来函告知,我平台将及时删除!本平台信息来源于网络公开信息和社里所提供的征稿函。
联系我们
投稿咨询: QQ:1605133527 ;2509007402
稿件查询: QQ:1605133527 ;2509007402
工作时间:早上9点——下午5点(周日除外)
本站:杂志协同采编平台 · 版权所有:《电子技术应用》杂志社·本平台信息来源于网络公开信息和社内征稿函。如有异议,可来函告知!