integrated circuit design; logic design; formal verification; formal verification; generalized symbolic trajectory evaluation; Intel designs; state elements; dynamic checker; scalar simulation trace; formal checker; intermediate monitor circuit; microprocessor design verification;
机译:ASIC验证:将形式验证与基于HDL的课程相集成
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:基于Petri网进行视频游戏建模和验证的正式方法
机译:用正式验证紧密整合动态验证:基于GSTE的方法
机译:用于系统级电源优化(低功耗设计)的动态电源管理策略及其形式验证和实现的集成。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:DsmL的形式验证集成方法?
机译:基于知识的控制系统的验证和验证的正式方法