【摘 要】
：
在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设
【机 构】
：
西安电子科技大学计算理论与技术研究所,综合业务网理论及关键技术国家重点实验室（西安电子科技大学）
【基金项目】
：
国家重点研发计划(2018AAA0103202),国家自然科学基金(61751207,61732013),陕西省重点科技创新团队(2019TD-001)。
论文部分内容阅读
在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.提出一种新型验证设计模型和生成代码一致性的方法,该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是
其他文献
现在蓝牙耳机都比较小巧,而且外观设计大同小异,辨识度没有以前大耳机上街那么高了。但厉害的设计师,总能以有限的体积,受制于声学条件下,设计出令人难忘的外观。比如在我试
在上世纪90年代,对一部电影的名字有着多种翻译:美版的、港版的、台版的,甚至法版的。《钢琴课》也译作《钢琴别恋》、《钢琴师》或者《钢琴师和她的情人》,资深影迷们一定为
移动设备上难以获取大量标签样本,而训练不足导致分类模型在人体动作识别上表现欠佳。针对这一问题,提出一种基于多视图半监督集成学习的人体动作识别算法。首先,利用两种内置传感器收集的数据构建两个特征视图,将两个视图和两种基分类器进行组合构建协同学习框架;然后,根据多分类任务重新定义置信度,结合主动学习思想在迭代过程中控制预测伪标签结果;使用LightGBM对扩充后的训练集进行学习。实验结果表明,算法的精
2021年5月2日下午,高班GoalBon音响在2021北京国际音响展上举行了新品发布会,带来了高班GoalBon LS-35合并胆机。有鉴于BBC LS3/5A音箱的流通数量庞大,拥簇的发烧友众多,却一
为满足卷积神经网络业务处理的灵活性和高性能需求,提出一种基于软件定义的可重构卷积神经网络架构。该架构采用归一化处理流程实现卷积层网络的动态重构与运算模式的加速。
LowMC是具有低乘法复杂度特征的算法。针对低数据量和少量S盒参数下的LowMC实例,差分枚举攻击被提出,理论上可以攻击全轮LowMC算法。考虑到这种攻击是在线性层完全随机的条件
《中华人民共和国环境保护法》是为保护和改善环境,防治污染和其他公害,保障公众健康,推进生态文明建设,促进经济社会可持续发展,制定的法律。环境保护法的颁布确保了国家有
无锡是近代中国民族工业发祥地和当代中国乡镇企业发源地,系苏商的重镇。无锡民营企业家简称锡商,锡商是江苏苏商的重要代表。2013年全球首届锡商大会对近代工业化进程以来锡
一、“一村一志一馆”建设的背景与实施条件改革开放以来,随着经济的发展和新农村建设的加快,经济发达地区许多乡村面貌焕然一新,家家户户通上水泥路,小楼房也像雨后春笋拔地
清末状元张謇,在1917年1月20日的日记中,抄录了自己为通州友人钱九皋所写的祝寿诗《寿钱翁七十》:“贵重最农夫,钱翁识字殊。岁功排菽枣,家世长枌榆。训子出求学,言商仍向儒