Breker测试多核
2012年11月13日
今年早些时候，我们认识了Breker该公司生成C测试，用于强调SoC架构，并验证即使使用编写定向测试的人可能不会想到的奇怪角落代码，也能正常工作。
最初的版本支持单个CPU以及所有周边电路。他们最近宣布了他们的多核版本。虽然这听起来像是能够在多个cpu上运行他们之前的测试，但事实远非如此。< /…阅读更多→“Breker测试多核”
MIPS有了新家
2012年11月6日
嘿，想收购一家CPU公司吗?你来晚了，因为MIPS科技公司刚刚以6000万美元的现金出售。如果这比你口袋里的钱还多，对于一家帮助开创RISC处理器理念的公司来说，这仍然是一笔很小的数目。一旦交易完成，MIPS处理器家族将属于Imagination Technologies，这家IP公司为SoC开发人员提供PowerVR图形、HelloSoft代码、Ensigma网络IP和其他小工具。现在，MIPS成为了Imagination皇冠上的宝石。
有趣的是，想象力只得到了82个MIPS的收藏……阅读更多→“MIPS有了新家”
高密度固态电池技术
2012年11月6日
去年我们看了一下无限动力解决方案该公司是将橡树岭实验室(Oak Ridge Labs)授权的固态锂离子电池技术商业化的几家公司之一。他们目前的产品(双关语)专注于轻薄、灵活的电池。但他们刚刚宣布了一项新技术，在这一点上，它只是一项技术;他们还没有发布任何关于如何产品化的信息(他们可能仍在研究中)。
结果是……阅读更多→“高密度固态电池技术”
使用形式化来帮助模拟
2012年11月1日
虽然模拟是验证的鼻祖，但也有模拟无法很好地处理的棘手问题，这些年来，形式化分析已经逐渐成熟，可以解决这些问题。因此，这两种技术最终在不同的问题上并肩工作，以完成验证计划。
虽然这在很大程度上仍然是正确的，但Mentor已经在他们的Questa验证平台上添加了一个功能，允许正式部分帮助模拟部分。形式部分可以帮助确定模拟覆盖范围;这项功能被称为CoverCheck。
形式化分析引擎……阅读更多→《使用形式化帮助模拟》
有特色的博客
2023年1月19日
本周周二，Future Horizons的马尔科姆•佩恩(Malcolm Penn)就半导体行业前景发表了年度三场演讲之一的演讲。我上次写马尔科姆的演讲时，感觉像是“最近”，但实际上是在2021年。那个帖子叫做Se…
2023年1月18日
了解为什么2023年将是多模系统的重要年份，因为芯片设计人员使用芯片技术和UCIe标准来满足高性能计算及其他领域日益增长的PPA需求。文章《为什么2023年对多芯片系统有很大的希望》首先出现在从硅到软件....上
