约束

• 一种用于随机约束仿真的SAT增强的字级求解器

  

  一种用于随机约束仿真的SAT增强的字级求解器，约束，仿真，增强的，用于，压缩，摘 要随着硬件设计复杂度的激增，验证已被广泛认为是制约整个芯片设计流程的瓶颈。基于仿真的验证通常通过生成一系列满足特定布尔/位向量约束的随机激励验证设计行为。在该验证方法学中，验证效率很大程度上取决于产生合法激励的约束求解器的性能。  本文我们首先讨论了字级求解器在求解包含特定操作符(如IF-THEN-ELSE、IMPLIES和布尔OR)的约束时遇到的挑战。为了克服这一挑战，我们引入布尔可满足性(SAT)求解器剪枝原始约束并压缩...

  2023-06-06 00:00:00百科约束 仿真 增强的

• 使用NVIDIA CloudXR和AWS简化部署和交付管理

  

  使用NVIDIA CloudXR和AWS简化部署和交付管理，NVIDIA,Ar,vr，交付,约束,工作站,启动，　　使用 NVIDIA CloudXR 从 AWS 云端流式传输身临其境的体验，您可以将高保真图形传送到未受约束的 AR 和 VR 设备。通过在 Amazon EC2 上运行 NICE DCV 的开发工作站，您可以从任何位置为您的团队启动图形工作站。 AWS 云用于身临其境应用程序的开发、部署和分发，是一个高度可扩展、安全且具有弹...

  2022-04-07 09:44:00行业信息交付 约束 工作站

• 海信冰箱启幕“真空+智能”新时代，科技加持赢得“智慧”未来

  

  海信冰箱启幕“真空+智能”新时代，科技加持赢得“智慧”未来，海信,冰箱，产业,突破,智能,约束，“苟日新，又日新，日日新”，创新是引领发展的第一动力。刚刚结束的全国两会，科技创新再一次成为高频词汇。2022年政府工作报告中指出：“深入实施创新驱动发展战略，巩固壮大实体经济根基。推进科技创新，促进产业优化升级，突破供给约束堵点，依靠创新提高发展质量。”当科技创新再次引发社会各界热议时，海信冰箱已经用实际行动做出响应。3月17日，海信冰箱正式发...

  2022-03-28 17:53:00行业信息产业 突破 智能

• PCB布线约束的接地方法与通用规则

  

  PCB布线约束的接地方法与通用规则，pcb,布线,比较器，布线,约束,方法,比较器，RF PCB的每层都大面积辅地，没有电源平面，RF布线层的上下相邻两层都应该是地平面。即使是数模混合板，数字部分可以存在电源平面，但RF区域仍然要满足每层都大面积辅地的要求。" /...

  2022-02-14 16:07:00行业信息布线 约束 方法

• 简述FPGA时钟约束时钟余量超差解决方法

  

  简述FPGA时钟约束时钟余量超差解决方法，简述,FPGA,时钟,约束,余量超,差,解决,方法,在,，时钟,约束,方法,解决方法，在设计FPGA项目的时候，对时钟进行约束，但是因为算法或者硬件的原因，都使得时钟约束出现超差现象，接下来主要就是解决时钟超差问题，主要方法有以下几点。 第一：换一个速度更快点的芯片，altera公司的cyclone系列FPGA，有6，7，8速度等级的，8的最慢，6的最快，或者cyclone系统4，5更快的芯片，当然...

  2021-10-11 14:52:00行业信息时钟 约束 方法

• FPGA的约束、时序分析的概念详解

  

  FPGA的约束、时序分析的概念详解，lvds,fpga,cpld,PCI,寄存器，约束,工具,寄存器,时序分析，A 时序约束的概念和基本策略 时序约束主要包括周期约束（FFS到FFS，即触发器到触发器）和偏移约束（IPAD到FFS、FFS到OPAD）以及静态路径约束（IPAD到OPAD）等3种。通过附加约束条件可以使综合布线工具调整映射和布局布线过程，使设计达到时序要求。例如用OFFSET_IN_BEFORE约束可以告诉综合布线工具输入信号...

  2021-10-11 10:23:00行业信息约束 工具 寄存器

• FPGA中同步异步时钟域信号的处理

  

  FPGA中同步异步时钟域信号的处理，fpga,信号，信号,时钟,同步异步,约束，最常用的约束有IO管脚位置约束和电平幅度约束，这个很好理解。另外，就是对时钟网络约束。这个是很重要的。比如你的系统中，驱动的电路的时钟是27M的，那么你需要在约束文件中增加类似如下的约束语句 NET REF_CLK27M TNM_NET = REF_CLK27M_grp; TIMESPEC TS_REF_CLK27M = PERIOD REF_CLK27M_gr...

  2021-09-13 09:29:00行业信息信号 时钟 同步异步

• 十年来最大技术革新！Arm发布Armv9架构！不受美国EAR约束，华为可获授权！

  

  十年来最大技术革新！Arm发布Armv9架构！不受美国EAR约束，华为可获授权！，ARM,Armv9,芯片IP，芯片,美国,授权,约束，电子发烧友网报道（文/黄晶晶）当地时间3月30日，Arm宣布正式推出Armv9架构，以应对全球对无处不在的专业化处理的需求，这种处理具有越来越强大的安全性和人工智能（AI）能力。Armv9是ARM公司十年来的最大技术革新。上一代V8架构发布于2011年10月。   Arm首席执行官Simon Segars表...

  2021-03-31 16:57:00行业信息芯片 美国 授权

• VIL-SLAM系统可实现获得更好的回环约束

  

  VIL-SLAM系统可实现获得更好的回环约束，激光雷达,摄像机,传感器，约束,系统,激光雷达,立体视觉，VIL-SLAM系统可实现获得更好的回环约束-本文提出的立体视觉+惯导+激光雷达的SLAM系统，在比如隧道一些复杂场景下能够实现良好性能。VIL-SLAM通过将紧密耦合的立体视觉惯性里程计（VIO）与激光雷达建图和激光雷达增强视觉环路闭合相结合来实现这一目标。该系统实时生成环闭合校正的6自由度激光雷达姿态和接近实时的1cm体素稠密点云。与...

  2021-02-18 17:59:00行业信息约束 系统 激光雷达

• 百度宣布与欢聚集团签署最终约束性协议

  

  百度宣布与欢聚集团签署最终约束性协议，百度,直播,互联网，百度,互联网,协议,约束，据自媒体长庚君报道，受此前浑水做空YY直播的影响，百度可能延长收购YY的交易时间。对方称，这并不意味着百度认可了浑水的报告，而是出于对自身股价的考虑。截至发稿，百度和欢聚集团均无任何回应。" /...

  2020-12-14 16:02:00行业信息百度 互联网 协议

• YY直播卖身百度的靴子终于落地

  

  YY直播卖身百度的靴子终于落地，腾讯，百度,业务,交易,约束，YY直播卖身百度的靴子终于落地。百度今天宣布，与欢聚集团签署最终约束性协议，全资收购欢聚集团国内直播业务YY直播，总交易金额约为36亿美元，交易预期将于2021年上半年完成交割。" /...

  2020-11-17 14:10:00行业信息百度 业务 交易

• 未来15年国内新能源汽车产业将如何发展

  

  未来15年国内新能源汽车产业将如何发展，乘用车，国内,产业,约束,提升，专家认为：较征求意见稿的11千瓦时/百公里提升1度，其意义重大，鼓励高端新能源发展，不能简单用电耗指标约束初步发展的新能源总体产业，而且高端化目前自主表现不错，应该给更多发展空间。" /...

  2020-11-05 16:46:00行业信息国内 产业 约束

• 战斗机器人对伦理道德提出重大挑战 进行道德和法律约束非常有必要

  

  战斗机器人对伦理道德提出重大挑战 进行道德和法律约束非常有必要，机器人，约束,计划,实用,人工智能，战斗机器人对伦理道德提出重大挑战 进行道德和法律约束非常有必要-据报道，美国是当前军事人工智能实用化的先驱，战斗机器人领域也屡屡“露脸”。在这个竞争对手面前，俄罗斯并不甘示弱;它最近声称，在2025年前完成组建战斗机器人部队计划，然后将这一新型部队纳入俄军管理体系。"...

  2019-12-24 15:05:00行业信息约束 计划 实用

• 高通:联手腾讯打造5G电竞手机,王者荣耀要打得飞起?

  

  高通:联手腾讯打造5G电竞手机,王者荣耀要打得飞起?，高通，约束,手游,5G,战略合作，美国移动处理器巨头高通和国内最大的手游龙头腾讯今天宣布，双方已签署非约束性的谅解备忘录将在游戏领域展开全面战略合作。" /...

  2019-07-31 17:49:00行业信息约束 手游 5G

• 技术变革！配备水冷换刀装置的高端开源打印机

  

  技术变革！配备水冷换刀装置的高端开源打印机，智能，智能,开源,约束,装置，项目采用滚珠丝杠驱动的Z轴启动了Blackbox。它在零摆动时非常精确，但由于它过度约束而无法快速加速。所以需要完全根据皮带重新设计了Z轴。为了达到必要的精度并防止加热床掉落，需要使用1:10皮带减速。减速的滑轮配置是40个齿上的16个齿，64个齿上的16个齿。这使得步进分辨率为0.01mm，步进分辨率为0.9°，几乎没有间隙，非常适合快速的z-hop移动。" /...

  2019-07-19 10:13:00行业信息智能 开源 约束

• 解决连接器受电子产品小型化约束的设计功能

  

  解决连接器受电子产品小型化约束的设计功能，FPC，约束,连接器,转向,可穿戴，解决连接器受电子产品小型化约束的设计功能-随着科技的发展，一些可穿戴式和移动式的电子产品逐渐转向小型化。这是一个大问题！因为产品小型化会导致内部空间的缺乏，使其难以找到适合并且能可靠运行的电气部件。"...

  2019-06-15 10:29:00行业信息约束 连接器 转向

• 特朗普取消201条款中25%双面组件关税!

  

  特朗普取消201条款中25%双面组件关税!，电池板，关税,取消,组件,约束，经联邦贸易部门(Federal trade authorities)裁定，双面太阳能组件将不再受201条款的约束。" /...

  2019-06-14 15:20:00行业信息关税 取消 组件

• 《布拉格提案》绝非“非约束性建议”那么简单！

  

  《布拉格提案》绝非“非约束性建议”那么简单！，网络安全，网络安全,约束,布拉格,数字，该提案在前言中指出通信基础设施是社会的基石，5G网络将成为新数字世界的基石。5G通信网络的发展促进运输、能源、制造业、国防等领域快速进步的同时，5G和通信技术的安全问题也将影响日常生活、社会功能、经济发展，甚至是国家安全。" /...

  2019-05-13 14:41:00行业信息网络安全 约束 布拉格

• 特朗普取消201条款中25%双面组件关税!

  

  特朗普取消201条款中25%双面组件关税!，电池板，关税,取消,组件,约束，经联邦贸易部门(Federal trade authorities)裁定，双面太阳能组件将不再受201条款的约束。" /...

  2019-06-14 15:20:00行业信息关税 取消 组件

• 《布拉格提案》绝非“非约束性建议”那么简单！

  

  《布拉格提案》绝非“非约束性建议”那么简单！，网络安全，网络安全,约束,布拉格,数字，该提案在前言中指出通信基础设施是社会的基石，5G网络将成为新数字世界的基石。5G通信网络的发展促进运输、能源、制造业、国防等领域快速进步的同时，5G和通信技术的安全问题也将影响日常生活、社会功能、经济发展，甚至是国家安全。" /...

  2019-05-13 14:41:00行业信息网络安全 约束 布拉格