hardware/software co-design; synthesis; verification; synchronous languages;
机译:基于依赖图的验证和具有SAT相关公式的硬件/软件协同设计的综合。
机译:硬件-软件代码签名中的嵌入式软件验证
机译:Suite利用Esterel语言的新硬件重点
机译:使用Esterel进行硬件/软件综合和验证
机译:软件验证技术在硬件设计验证中的应用。
机译:使用ACL2进行工业硬件和软件验证
机译:Esterel程序的硬件和软件综合,优化和验证
机译:Implantation materielle d'Esterel pur(pure EsTEREL的硬件实现)