system-on-chip; formal verification; high level synthesis; finite state machines; system-on-chip; Esterel Studio; tool-supported methodology; top-level validation; functional tests; inter-IP data flow; logic design; formal verification; SyncCharts; h;
机译:使用Esterel Studio设计自动柜员机
机译:巡航控制器的Esterel实现和验证
机译:基于EEG的实时情感识别系统使用边缘AI计算平台的开发与验证,卷积神经网络芯片系统设计
机译:Esterel Studio在片上系统的顶级验证
机译:Esterel的建设性微积分
机译:组成性有组织物质实体的顶级类别 - 建议正式的顶级本体
机译:使用Esterel工具验证流水线处理器设计:案例研究
机译:Langage Esterel(Esterel语言)