Sch. of Software Dalian Univ. of Technol. Dalian China;
Grad. Sch. of ISEE Kyushu Univ. Fukuoka Japan;
automobile industry; embedded systems; formal specification; formal verification; hardware-software codesign; specification languages;
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:高度集成的硬件/软件协同设计和协同验证平台
机译:由UVM驱动的硬件/软件协同验证
机译:对硬件/软件共同验证的形式技术调查
机译:结合先进的正式硬件验证技术
机译:概念问题和标准。医疗硬件软件和信息交换的标准:脉搏血氧仪的MIB软件语义模型ASN.1消息传递
机译:一个系统级硬件/软件协同设计和与自定义硬件的商品多处理器系统的协同验证案例