明导科技公司将推出采用新技术开发支持可验证性设计的可伸缩验证平台。明导声称由此率先全面支持Verilog 2001、仿真交易级测试平台生成及到Matlab和Simulink的HDL链接。
该公司设计验证及测试分部副总裁兼总经理Robert Hum表示,明导的验证用户如今能在许多抽象级上工作,用Matlab启动算法设计,再往下进行无缝硬件/软件协同设计、VStation模拟及ModelSim HDL仿真。
定于11月交货的ModelSim 5.8版本率先支持Accellera的SystemVerilog 3.1标准,包括Hum所称的“生产力特性”,内含文献、用户定义类型、枚举数据类型、结构及联合、动态阵列、端口连接及接口。
ModelSim 5.8还全面支持SystemVerilog的前任Verilog 2001。但该工具不包含SystemVerilog 3.1声明,这项支持将于明年推出。ModelSim 5.8添加了一个内置的“声明引擎”,与Accellera的特性规范语言(PSL)1.0版本一起工作。
ModelSim 5.8 起价为4,495美元。该工具的另一部分VStation Pro起价为30万美元。
京公网安备 11011202001138号
