School of Electronics and Telecommunications, Hanoi University of Science and Technology, Vietnam;
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:高度集成的硬件/软件协同设计和协同验证平台
机译:由UVM驱动的硬件/软件协同验证
机译:硬件/软件正式共同验证使用硬件验证技术
机译:软件验证技术在硬件设计验证中的应用。
机译:使用ACL2进行工业硬件和软件验证
机译:一个系统级硬件/软件协同设计和与自定义硬件的商品多处理器系统的协同验证案例