FE240F-20

形式验证（Formal Verification）是一种IC设计的验证方法，它的主要思想是通过使用形式证明的方式来验证一个设计的功能是否正确。形式验证可以分为三大类：等价性检查（Equivalence Checking）、形式模型检查（Formal Model Checking）（也被称作特性检查）和定理证明(Theory Prover) 。 　　等价性检查的验证用于验证RTL设计与门级网表、...[详细]

本人项目开发stm32usb设备的时候，发现usb发送会经常性的阻塞main函数，或者说无法让程序流畅的运行，实时性大打折扣，甚至会卡几十毫秒都很正常，我不明白st为什么会写出这样的usb程序，实属脑残，经过几经周折找到了解决办法： usb_dcusb_dcd_int.c文件中，函数DCD_WriteEmptyTxFifo有个bug，会导致经常死循环，导致usb库耗时过长。 应该如下修改，在原始...[详细]

当今智能手机最重要的特色并不是那些华而不实的功能，而是基础得多的特性：电池能用多长时间?遗憾的是，电池技术跟不上工程师们的步伐，他们创造出拥有多块大功率多核处理器和多个无线电的掌上电脑。在服务器一侧，即使能耗的一点点下降，也会给为云提供动力的海量运行中心带来诸多好处(而云已经成为当今互联网的代名词)。 环顾四周，降低能耗几乎一直是重要的设计目标。这意味着工程师和技术人员需要精通低功率测量。虽...[详细]

有关中断的概念 什么是中断，我们从一个生活中的例子引入。你正在家中看书，突然电话铃响了，你放下书本，去接电话，和来电话的人交谈，然后放下电话，回来继续看你的书。这就是生活中的 中断 的现象，就是正常的工作过程被外部的事件打断了。 仔细研究一下生活中的中断，对于我们学习单片机的中断也很有好处。第一、什么可经引起中断，生活中很多事件可以引起中断：有人按了门铃了，电话铃响了，你的闹钟闹...[详细]

为抢攻汽车及工业等高端应用市场，掌握8英寸功率组件未来的庞大商机，以往专注在4、6英寸晶圆领域的强茂，决定斥资6,700万美元涉足8英寸市场，其用途会专注在新团队的晶圆设计里背面制程的应用，以此掌握如5G、物联网、车用电子等所带动的8英寸功率组件的庞大商机。 进入2019年后，强茂邀请全球前10大国际IDM大厂晶圆研发人才组成新事业体，在美国硅谷及新竹设立研发中心，专注在功率离散组件不同的晶体管...[详细]

2017年3月，“人工智能”首次被写进《政府工作报告》；7月，国务院发布《新一代人工智能发展规划》，人工智能发展上升至国家战略；2018年10月31日，中共中央政治局专门就“人工智能发展现状和趋势”举行第九次集体学习，这是中央最高领导层首次专门以人工智能为学习主题。在这样的历史条件下，如何以产业实践推动人工智能快速发展，成为摆在我们面前的重要课题。 一、人工智能及其发展 从广义上讲，人工智能...[详细]

Silicon Labs Simplicity Studio支持MIKROE mikroSDK 2.0 Click Board驱动程序，缩短嵌入式工程师的软件开发时间 是第一家在Click boards™开发版上将mikroSDK Click驱动程序集成到自己的软件开发环境中的IC供应商 2023年5月4日: MikroElektronika (MIKROE) ，作为一家通过提供基于成熟...[详细]

目前全球性能最强的实时RISC-V微控制器HPM6000系列，主频高达 800MHz，创下超过9000 CoreMark™ 和4500 DMIPS性能的新记录 【中国上海】 2021年11月24日，高性能嵌入式解决方案领导厂商上海先楫半导体(HPMicro Semiconductor Co., LTD.)与32/64位RISC-V嵌入式处理器核心领导供货商晶心科技(Andes Technol...[详细]

　　氯气流量计是一款智能靶式流量计，它是在原有应变片式靶式流量计测量原理的基础上，采用了最新型电容力传感器作为测量和敏感传递元件，同时利用了现代数字智能处理技术而研制的一种新式流量计量仪表。 　　流量测量是研究物质量变的科学，质量互变规律是事物联系发展的基本规律，因此其测量对象已不限于传统意义上的管道液体，凡需掌握量变的地方都有流量测量的问题。流量和压力、温度并列为三大检测参数。对于一定的流...[详细]

近日，芯华章科技正式宣布与国内RISC-V处理器IP供应商芯来科技达成战略合作。 芯来科技将正式采用芯华章自主研发的新一代智能验证系统穹景 (GalaxPSS)及数字仿真器穹鼎 (GalaxSim)等系列EDA验证产品，加速新一代复杂RISC-V处理器IP的设计研发。 目前复杂CPU IP由于集成度高，其中各种模块互联复杂、测试功能点繁多，如果仅仅依靠工程师手写各种测试用例，验证周期冗长且效率...[详细]

1引言 随着机器人技术的发展，高层建筑幕墙自动化清洗成为可能。"复杂弧面幕墙清洗机器人开发"为863计划资助项目，机器人设计任务是清洗位于北京长安街的国家大剧院金属和玻璃顶棚。该剧院地处北京市中心，必将成为北京的标志性建筑之一，加之北方的气候条件恶劣，剧院外露墙面的清洗非常重要。 机器人系统应用于高层幕墙清洗作业，工作条件恶劣，面向工程使用无疑要求系统具有更高的安全性和可靠性。因此机器...[详细]

　　【搜狐IT消息】北京时间8月25日消息，据外国媒体报道，联想前首席运营官兼总裁罗瑞德（Rory Read）已经被AMD公司任命为新首席执行官。联想集团也就此发表了正式声明。 罗瑞德出任AMD首席执行官 　　声明内容如下： 　　今天，全球第三大PC制造商联想集团前总裁兼首席运营官罗瑞德被任命为AMD公司首席执行官。AMD公司是全球领先的半导体设计商。 　　连续七个季度以...[详细]

弥合数字鸿沟是一种挑战 高速的互联网连接曾经被视为奢侈品，如今却已成为人们日常必需，是教育、通信和企业不可或缺的工具。学生需要上网做作业，老年人需要与医生视频通话，企业需要与客户沟通。那些没有通过有线、卫星或无线4G和5G获得高速互联网连接的人在社会经济方面往往处于不利地位，亦会减弱他们获取新技能、查找和申请工作，以及在线购物或进行销售的能力。 数字鸿沟：一个全球性的问题 数字...[详细]

　　说起“价格战”这个名词，其实国人并不陌生，尤其是在我国从计划经济向市场经济转轨的这20多年时间里，“价格战”的声音时不时会在耳旁响起。下面就随电源管理小编一起来了解一下相关内容吧。     今天小编要说的是我国制造业的一个细分市场——电动自行车用铅酸蓄电池市场。近些年来，“铅酸蓄电池”这个曾屡次见诸媒体的词语，又因为“价格战”而再次频繁现身。一轮接一轮的“价格战”，不仅使得电动自行车用铅酸...[详细]

　　2008年6月19号，Altera公司和XtremeData有限公司宣布，开始提供基于业界最快的FPGA/Intel® Xeon®处理器的前端总线(FSB)模块。采用了多片Altera® Stratix® III FPGA，并且使用Intel QuickAssist技术，XtremeData XD2000i In-Socket加速器(ISA)展示了这一强大的1066 MHz协处理解决方案。 ...[详细]