Synchronization; Clocks; Protocols; Data models; Libraries; Hardware; Pattern matching;
机译:时钟域交叉验证软件
机译:基于元模型理论的分发网络信息模型的本体变换正式验证
机译:多时钟SoC中的时钟域交叉故障的检测,诊断和恢复
机译:跨时钟域的形式验证:元模型
机译:具有时钟事件和非时钟事件的混合系统的建模和验证。
机译:用于支持特定领域的知识发现的元模型集成:医疗保健的案例研究
机译:提高形式验证的效率:以时钟域交叉为例