机译:嵌入式电源控制器的正式硬件/软件共同验证
Department of Computer Science and Engineering, IIT Kharagpur, Kharagpur, India;
Control systems; Formal verification; Model checking; Performance gain; Power control; Formal verification; low power techniques; model checking;
机译:基于组件的硬件/软件协同验证,用于构建可信赖的嵌入式系统
机译:由UVM驱动的硬件/软件协同验证
机译:基于可编程电子硬件的嵌入式控制器安全性评估的形式化方法
机译:使用硬件验证技术的硬件/软件形式的共同验证
机译:嵌入式系统的软软件协同设计:步进电机控制器的实现。
机译:开发用于监视集中式太阳能发电厂的无人机开放硬件和软件系统
机译:一个系统级硬件/软件协同设计和与自定义硬件的商品多处理器系统的协同验证案例