0402CG220D160SB

技术白皮书 利用先进形式验证工具来高效完成RISC-V处理器验证 我们在上一篇技术白皮书 《基于形式验证的高效RISC-V处理器验证方法》 中，以Codasip L31这款用于微控制器应用的32位中端嵌入式RISC-V处理器内核为例，介绍了一个基于形式验证的、易于调动的RISC-V处理器验证程序。它与RISC-V ISA黄金模型和RISC-V合规性自动生成的检查一起，展示了如何有效地...[详细]

腾讯科技讯 5月7日，对苹果设备的诸多供应商而言，该公司打造iPhone 8手机无疑是一个好消息。据称，iPhone 8配置了诸多新功能，这就要求此款手机配套专门的硬件——同时也这是此款手机要推迟两个月才能发布的原因所在。 不过，对供应商而言，可谓是几家欢乐几家愁，因为目前的情况已经表明，苹果在寻求智能手机配件时，挑选了新的供应商，这就意味着，会有更多的供应商因为苹果此举而失去新版iPhone手...[详细]

广告摘要声明广告 当前，移动机器人企业的落地规模从最初的几台、几十台到如今的上百台，已经显现出规模化的势头。快速交付成为了现阶段移动机器人比拼的重要核心，这就意味着，谁能率先在商业场景里实现快速交付，谁就能在众多竞争中脱颖而出。 在移动机器人企业互相比拼时，一些终端客户却传来一些声音。“我现在听到与AGV/AMR相关的项目就头疼。”他们坦言，不管是产品还是项目，能否及时、高质量交付都是一个很大的难...[详细]

ARM Cortex-M0 处理器是目前最小的 ARM 处理器。M0充分利用了ARM Thumb 技术、多级流水线技术、低功耗优化设计技术和最新的高密度硅闪存工艺，是目前市场上现有的最小、能耗最低、最节能的ARM处理器。该处理能耗非常低、门数量少、代码占用空间小，使得MCU开发人员能够以8位处理器的价位，获得32位处理器的性能。芯片制造商将M0产品针对某些特别应用而进行开发，分别有高集成32...[详细]

    前段时间柯洁大战AlphaGo在国内引起了一阵哗然，人工智能已经进入发展阶段，其中AlphaGo的学习能力非常强，简直是王者意识和操作。现在又一款人工智能来了，成都高新区一科技公司研发的人工智能系统AI-MATHS将迎战今年的数学高考题。 　　 　　消息称，这款机器人是根据清华大学的数据、人工智能、自然语言识别等技术研发的以自动解题技术为核心的人工智能系统。这次考试将在7日高考数学结束后...[详细]

半导体产业创新晶圆制造设备和服务全球领先供应商Lam Research（泛林集团）近日宣布，完成了对Coventor公司的收购。Coventor是半导体工艺技术、MEMS及物联网（IoT）仿真和建模解决方案全球领先供应商。Lam Research和Coventor的结合有力支持了Lam Research的先进工艺控制目标，预计将加速工艺和仿真技术的整合，提高虚拟加工的价值，进一步帮助芯片制造商解...[详细]

随着网络通信技术的日益完善，人们对网络设备之间数据交换量的需求刷增。而把数据信息从一台设备传送到另一台设备时交没有统一的标准，不同设备依据其不同的数据传输距离、数据传输速率以及系统成本要求可以选择不同的数据接口标准。因此，在设备互连时常常会因为设备接口互不兼容而大大增加线路的连接成本。Maxim公司推出的多协议收发器就是利用廉价的连接器（如DB-25）等来实现多种协议网络设备互连兼容的一种新型器...[详细]

发动机是汽车的心脏，发动机的性能是汽车的动力性、经济性、排放性等性能的根本。所有的汽车公司为了强化发动机的动力性，为了尽可能地提高发动机的热效率，不断地采用新技术。 1、涡轮增压 增压中冷——空气冷却和水冷。 涡轮增压是提高升功率的最有效的方法。由于再次利用了废气能量，使发动机的热效率也有一定提高。 2、可变涡轮截面 增压压力闭环控制方法： 废气放气阀控制 可变涡轮截面控...[详细]

　　特点： 　　传统产业（汽车、行业等）为主导 　　应用领域拓展，与日常生活密切相关的行业自动化率依旧较低，市场潜力巨大 　　趋势： 　　由批量生产向大规模定制转变 　　更短的交货周期、更快的上市速度 　　人为干预大幅减少（安全操作决策、协作） 　　新的行业和应用场景越来越多 　　 　　工业机器人新场景应用难点及未来趋势 　　1.工业机器人新场景应用难点...[详细]

GaN Systems日前宣布，瑞萨电子公司的新型汽车 48V/12V 双向 DC/DC 转换器选择了其GaN（氮化镓）功率晶体管，从而显着提高了功率密度。新转换器采用 GaN Systems 的 GS61008P，一种 100V 增强模式 GaN-on-silicon 功率晶体管，可将系统尺寸缩小 46%。 瑞萨解决方案针对需要高效 48V/12V DC/DC 转换器的 48V 轻度混合动...[详细]

BOE（京东方）第6代新型半导体显示器件生产线开工 加速布局元宇宙赛道 2月10日，BOE（京东方）第6代新型半导体显示器件生产线开工活动在北京举行，该生产线 总投资290亿元 ，2025年实现量产后，将进一步增强BOE（京东方）在VR、Mini LED等高端显示技术布局，巩固其全球显示产业领导地位，持续拓宽高端技术“护城河”，极大推动我国LTPO（低温多晶氧化物）等前沿显示技术创新实现跨越...[详细]

一元复始，我国电子信息产业又要开始新的征程。在本周，2012国际消费电子展(CES 2012)将在美国拉斯维加斯拉开序幕，它将成为许多中国厂商2012年在全球市场的首战。近年来，专业电子信息产业市场研究推广机构北京华兴万邦管理咨询有限公司派出分析师，在国内外参观或参与了一系列国际知名的行业大展和研讨会，通过走访各个活动的组织机构、参与者及业界厂商，对高新技术产业的全球化产生了一些新思考。 ...[详细]

英国网联与自动驾驶汽车测试设施集群 　　英国政府计划投资 1 亿英镑用于建设网联与自动驾驶汽车测试设施，2017 年 3 月 30 日，英国宣布启动第一阶段投资竞标。该计划的目标是沿伯明翰和伦敦之间的 M40 走廊建设网联与自动驾驶汽车先进技术集群，同时将基于英国现有的部分网联与自动驾驶汽车测试中心，在英国汽车产业核心区域（包括西米德兰兹郡的考文垂、伯明翰、米...[详细]

中国储能网讯： 构建以新能源为主体的新型电力系统，是保障能源供应安全的重要战略举措，是实现碳达峰、碳中和目标的重要手段，具有重大的历史意义和现实意义。 构建以新能源为主体的新型电力系统面临诸多挑战。首先，风光等为代表的清洁能源发电的随机性、波动性和间歇性以及电动汽车负荷时空随机分布等特点，导致系统面临的不确定性进一步增加，电力、电量平衡压力大，电网运行控制更加复杂和多变；其次，新能源...[详细]

自v2.10版本开始TekScope软件及泰克示波器（如4B系列MSO）引入了TekHSI高速接口技术，利用该项技术您可以以最高比SCPI快10倍的速度传输波形。这是因为SCPI标准的Curve和Curvestream的性能取决于仪器的具体实现，而TekHSI已经过优化，专为高性能和可扩展性而设计。TekHSI采用了优化的二进制协议，专用于高速数据传输。 在示波器上启用TekHSI 要...[详细]