assertions; clock domains; formal; metastability; properties; verification;
机译:运行时硬件Trojan通过使用正式验证对突发模式通信建模来监视
机译:在关键系统中的硬件组件正式验证
机译:计算系统形式验证的综合框架
机译:用于形式验证中硬件亚稳定性的可综合系统Verilog模型
机译:合成化学过程设备和控制系统的模块化逻辑模型以进行验证。
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:用于开发和验证形式富裕模型的方法和工具,用于复杂软件和硬件系统的要求和架构