EDA初创公司Bluespec将预演一种“基于声明的”综合技术,该公司将其描述为芯片设计的新方法。工具套件采用高级SystemVerilog描述,并生成可综合的RTL,减少了一半的网表验证时间。Bluespec计划2004年第一季度上市该工具。
Bluespec还将宣布新筹措400万美元的风险投资,用于新工具套件的开发。新产品将以麻省理工学院开发的专利技术为基础。这项技术在硬件设计中添加了称为“术语重写系统(term rewriting systems)”的计算机科学概念。
Bluespec公司首席执行官Shiv Tasker表示,“我们的方法为硬件设计师带来了高级别抽象。”
Bluespec技术最初由MIT计算机科学工程系的一位教授Arvind所开发,他与人合办了Bluespec公司。
尽管高级别综合迄今为止还不是非常成功,Tasker指出Bluespec不会尝试另外一种“行为级综合”产品。“我们捕获设计意图,与纯粹的行为级综合相反,工具以结构的形式出现。”他们把围绕结构元素的行为描述为一系列采用SystemVerilog的断言声明。
京公网安备 11011202001138号
