Virtual Prototyping; Embedded Systems; System-level Design; Formal Verification;
机译:通过SystemVerilog设计和验证嵌入式系统的模型驱动框架
机译:嵌入式系统设计的正式验证
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:模型驱动性能评估和多级嵌入式系统设计的正式验证
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:诊断干预验证调整(DIVA)模型对综合基础医疗规划和绩效改善的有效性:尼日利亚卡杜纳州的嵌入式混合方法评估
机译:多层嵌入式系统设计的模型驱动性能评估和形式验证