hardware-software codesign; formal verification; programming languages; embedded systems; field programmable gate arrays; hardware-software codesign; co-verification; synchronous programming language; Esterel technique; embedded system design; embedded system verification; system level design; Xilinx; FPGA; field programmable gate array;
机译:高度集成的硬件/软件协同设计和协同验证平台
机译:基于CFG和语义语言的多种自然语言统一同步生成系统。
机译:基于CFG和语义语言的多种自然语言统一同步生成系统。
机译:同步语言中的协同设计和协同验证演示
机译:永磁同步 电机 球 ( PMSSM ) 为 高机动 伺服机构 的 设计,制造 和 试验示范
机译:VQ显像继发于上下腔静脉同时阻塞的VQ显像术中全球肝对99mTc-MAA的摄取:跨门静脉侧支途径的演示
机译:同步语言中协同设计与协同验证的实证