|
|
明导资讯(Mentor Graphics)最近向电子设计工业标准组织Accellera捐赠了其开放验证库(OVL)的SystemVerilog断言(SVA)版本,并获得后者的接受。
明导捐赠OVL的SVA版本是受到该公司0-In验证分部的推动,该分部前身为0-In Design Automation公司,被明导以大约500万美元的价格于2004年9月股票收购。
据0-In验证分部总经理Steve White称,明导应Accellera的要求创建并捐献了SVA版本,据他称,该组织正积极寻求公司的支持,以在今年创建OVL断言库的SystemVerilog和特征规范语言(PSL)。
Accellera OVL委员会还批准创立一个新的OVL-SVA库子委员会,由明导担任主席。该子委员会将负责发表一个Accellera标准库,并长期维护OVL-SVA库。White表示,该委员会将着重确保OVL的SVA版本与Verilog版本一致。
SVA设计用于多种验证技术,包括仿真、形式验证和模拟。
ABB以电气问题解决专家之志，回答未来之问。讲述与中国用户携手开拓创新、引领行业发展、推动绿色转型的合作故事，共同谱写安全、智慧和可持续的电气化未来。
12月24日上午10点，研祥周三购小程序IPC-310准系统低至三位数！
此活动每月定期举办一次，于其中一个周三的上午10点至11点限时开启。在此期间，研祥旗下多款经典爆款产品，包括高性能工业计
微信扫一扫，关注IIANews公众号
微信扫一扫，进入IIANews微网
京公网安备 11011202001138号
