发布时间：2015-06-15

在西方投资人的眼中，半导体产业领域已经是一个从高峰开始衰退的行业，但是在中国，半导体行业方兴未艾，中央政府、地方政府与民营企业都在加大投入，迅速通过收购企业获取关键技术。 中国成立了一个 国家集成电路产业投资基金 ，计划在2014至2017年之间投资1,200亿人民币，此外，中国地方政府与私募基金企业也将总计投资6,000亿人民币，推动对拥有关键技术能力的海外企业之策略收...

发布时间：2014-05-10

　　随着可携式媒体播放器、智慧手机和平板电脑等电池供电的消费性电子设备的不断普及，导致家到处充斥着大量不同的充电器和成捆的缆线。以无线方式给设备充电的概念即没有任何直连线的连接已经推出一段时间了，现在正迅速提起人们的兴趣，使之更加灵活和更加有用。不过目前有哪些不同的技术、工程师需要应付的设计挑战又有哪些呢？ 　　由于无需使用充缆缆线，给消费设备进行无线充电有许多吸引人的地方。...

发布时间：2013-09-14

随着可携式媒体播放器、智慧手机和平板电脑等电池供电的消费性电子设备的不断普及，导致家?到处充斥着大量不同的充电器和成捆的缆线。以无线方式给设备充电的概念即没有任何直连线的连接已经推出一段时间了，现在正迅速提起人们的兴趣，使之更加灵活和更加有用。不过目前有哪些不同的技术、工程师需要应付的设计挑战又有哪些呢? 由于无需使用充缆缆线，给消费设备进行无线充电有许多吸引人的地方。也许应...

发布时间：2011-06-11

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

发布时间：2011-03-07

编译程序设计是一个复杂的话题，即使对内行的软件工程师来说也要考虑很多专业知识。 NI LabVIEW软件是一种多规范的图形化编程环境，含有多种概念，包括数据流，面向对象，以及事件驱动编程。LabVIEW也是跨越多种平台的，能够很好地用于多种操作系统（OSs），芯片组，嵌入式设备，以及现场可编程门阵列(FPGAs)。LabVIEW编译程序是一种精密的系统，在过去的20年中具有...

发布时间：2011-02-15

编译程序设计是一个复杂的话题，即使对内行的软件工程师来说也要考虑很多专业知识。 NI LabVIEW软件是一种多规范的图形化编程环境，含有多种概念，包括数据流，面向对象，以及事件驱动编程。LabVIEW也是跨越多种平台的，能够很好地用于多种操作系统（OSs），芯片组， 嵌入式设备 ，以及现场可编程门阵列(FPGAs)。LabVIEW编译程序是一种精密的系统，在过去的2...