功能验证方法的重要性


良好的功能验证方法是极其对任何半导体设计项目的成功至关重要。错过或迟bug可以大大伤害了市场份额,为著名企业收入,甚至品牌。SoC设计的复杂性以及严格的上市时间约束需求验证过程的高水平的效率。的方法来验证功能……»阅读更多

变量复杂的安全性至关重要的设备验证


人工智能芯片的包含在航空电子设备在汽车和日益把关注advanced-node设计,可以满足所有的ASIL-D要求的温度和压力。设计师应该如何处理这个任务,尤其是当这些设备需要比应用程序吗?半导体工程与库尔特·舒勒坐下来讨论这些问题,副总裁……»阅读更多

威尔第事务调试平台:一个简化的IIP调试方法设计和SoC


作者:阿布阿帕德海耶、研发工程师、Synopsys对此和卡纳克人拉其普特人,应用工程师,Synopsys对此设计问题出现在开发周期的晚期阶段可以很难跟踪和调试,从而将项目进度风险。也不稀罕一个工程师运行验证测试什么似乎是主要的设计问题,结果却发现……»阅读更多

UFS验证使用Synopsys对此验证关闭流连续的平台


这是一个长期的陈词滥调,但是这是真的,“没有银弹功能验证。“没有一个单一的工具或者方法可以发现并击落所有的错误在一个大的,复杂的半导体的设计。模拟很好理解,但可以减缓对于今天的大型出类拔萃。模拟硬件是快,但足够昂贵,通常是跨一个验证团队共享。正式的……»阅读更多

SOC设计与IP——必须为功能验证


作为验证流的一部分,验证团队执行不同类型的基础上进行的模拟设计的本质。模拟包括数字逻辑功能模拟、混合信号功能模拟、节能模拟,形式验证和门电路级模拟运行。对于审核,所有计划的测试必须通过在所有四个类型的模拟。除了t…»阅读更多

为什么IP质量很难确定


区分好的IP从平庸的或坏的IP越来越困难,部分原因是这取决于如何和在哪里使用,部分原因是即使是最好的IP可能工作在一个系统中比另外一个相同芯片开发的供应商。这是与IP的一个挑战。在许多情况下,IP是差的特点,无论IP佤邦…»阅读更多

添加顺序和结构验证


你不能改善无法测量,当谈到方法测量的概念变得更加困难。添加的概念技能,能力和经验水平的个人在一个组织中,采用特定的技术,这可能影响他们的能力,它需要相当大的关注。这就是概念如能力成熟度模型(CM……»阅读更多

斐波那契和蜜蜂有共同点:正式的甜点


光阴似箭,OneSpin的传统节日难题已经达到第三年。2016年12月,OneSpin挑战各地工程师解决爱因斯坦谜语使用断言和正式的验证工具。2017年12月,挑战是世界上最难的数独模型使用断言和找到解决方案提供一个正式的工具。此外,参与者必须证明……»阅读更多

当正确是不够的:容错硬件形式验证


曾几何时,硬件电路功能验证是保证将执行指定的函数在所有法律输入刺激。今天,获得信心,硬件设计是正确的往往是不够的。几个行业,包括汽车、医疗、航空、依靠安全至上的硬件保证人们的安全。其他系统,例如,在……»阅读更多

便携式测试和刺激标准1.0版


语言语法的定义,c++库API,和相应的语义验证意图和行为的规范跨多个目标平台,允许重用提供了测试生成的自动化。这个标准提供了一种声明性环境设计的抽象行为描述使用的行为,他们的输入,输出,和资源depe……»阅读更多

←旧的文章 新帖子→
Baidu