Infineon Technologies, Hagenberg;
Control Flow Analysis; Correctness of Assembly Programs; Cycle Accurate Modeling; Cycle Optimized Modeling; Formal Verification;
机译:从面向并行行为的规范中进行硬件合成的经过正式验证的峰值功率降低技术
机译:基于功能的软件模型形式验证技术分类
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:用于硬件依赖软件的形式验证的模型简化技术
机译:软件验证技术在硬件设计验证中的应用。
机译:使用ACL2进行工业硬件和软件验证
机译:正式的片上系统验证中硬件和与硬件相关的软件的组成属性集的覆盖范围