软件定义硬件增加地基了


的传统方法在基于x86的cpu上运行通用软件的蒸汽对于许多应用程序由于摩尔定律和并发的指数增长放缓在软件应用程序的复杂性和规模。在这种环境下,软件和硬件的不同是由于x86架构的统治地位。“需要和硬件accelerat出现……»阅读更多

使用SystemC加快验证


高级副总裁Brett Cline OneSpin解决方案,解释了形式验证添加到高级合成流可以减少所花费的时间在优化和调试约三分之二,为什么这个RTL前需要做得很好,从初始化等问题,内存越界等问题,很难找到在模拟。»阅读更多

周评:汽车、安全、普适计算


AI /边缘美国国防部(DOD)采用了道德原则在战争中使用人工智能主要是说美国必须遵循法律、条约,在战争中使用人工智能。任何人工智能被国防部负责,公平,跟踪,可靠和可控制的。“将设计部门和工程师人工智能能力履行其预期的功能……»阅读更多

PSS为何如此重要?


产品营销经理罗伯特·Hoogenstryd导师,西门子业务,谈到了新的testbench验证语言标准,利用PSS的巨大的优势,这种语言解决什么样的挑战,这种方法可以节省多少时间。»阅读更多

语义的麻烦


语义是重要的。他们告诉我们的东西意味着什么。没有你有一大堆语法的语义。更好的语义定义,不太可能是mis-interpreted是因为他们可以更严格的分析。的语义定义的英语不是很好,这就是为什么它是不可能写出一个规范,每个人都同意那…»阅读更多

瑞萨解决高层验证挑战使用正式的等价性检查


瑞萨电子公司的一个小组发现,他们大大减少的时间优势高级合成流由于其SystemC代码bug和等价问题由于设计变更。这是花太多时间查找和调试这些问题和一些bug滑入生成的RTL。为了解决这些挑战,他们补充说SLEC®,它是形式……»阅读更多

系统设计还需要抽象吗?


大约15年前,在EDA行业假设是系统设计将是不可避免的。从门电路级设计过渡到一个新的入口点在寄存器传输级(RTL)似乎成为well-adopted合成完整的逻辑。下一步似乎是显而易见的:高级合成(HLS)和基于事务的发展超出RTL-also在…»阅读更多

高级设计和高级验证


不久前,一些EDA供应商绘画芯片设计的一个非常有吸引力的照片后近未来。他们的想法是,架构团队将编写一个完整的描述系统在一些高级语言,通常C / c++ / SystemC, EDA工具的一个新类将自动分区设计到硬件和软件,选择eac的功能……»阅读更多

综合硬件与软件


能够自动生成优化的硬件与软件是系统级设计自动化的主要原则之一,从来没有完全实现。现在的问题是,是否会发生,以及它是否仅仅是一种拥有正确的技术或动机使其成为可能。而高级合成(HLS)的工作,已被证明是…»阅读更多

周评:设计,低功耗


Rambus公司将获得西北逻辑、数字控制器IP内存制造商作为PCIe MIPI。“西北逻辑category-leading数字控制器能完美地适合Rambus的领导的高速PHY组合解决方案”,总裁兼首席执行官Brian Daellenbach西北逻辑。“这笔交易为SoC设计师致力于最先进的应用程序创建一个一站式跨b…»阅读更多

←旧的文章 新帖子→
Baidu