Software; Synchronization; Acceleration; Analytical models; Registers; Life estimation; Writing;
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:下一代验证IP,可更快地进行SoC验证
机译:使用端口顺序故障模型的SoC设计验证的自动形态生成验证模式
机译:Agarsoc:自动化测试和覆盖模型生成,用于核实加速器的SOC
机译:使用不变分析和测试输入生成来自动进行程序验证和修复。
机译:自动化的数字点胶平台的验证该平台用于基于孔稀释液微稀释的药敏试验
机译:FausT:形式验证,自动调试和软件测试生成的框架⋆
机译:自动化Bicron测试仪:具有记录生成功能的自动化电子仪器诊断,测试和校准系统