Logic simulation; Symbolic simulation; Formal verification;
机译:SoC仲裁协议的基于形式的设计和验证:TDMA和轮询的比较分析
机译:使用正式RDF技术验证系统设计框架-CCC设计框架
机译:通过设计和工程环境中的标识的形式参数识别电子模型结构中的对象
机译:使用正式技术识别SoC设计中的未初始化寄存器
机译:寄存器传输级别(RTL)设计中基于片上系统(SoC)的硬件加速。
机译:无线传感器和执行器网络的正式规范和设计技术
机译:基于片上系统(soC)的寄存器传输级(RTL)设计中的硬件加速
机译:基于Estelle IsO形式描述技术的通信协议形式化设计