Virginia Polytechnic Institute and State University.;
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:基于SAT的形式验证的最新进展调查
机译:基于电路的形式验证的概率和近似方法。
机译:基于扩展的影子代码的离线签名验证方法。二。几种多分类器组合策略的评估
机译:对不变量进行状态空间表征,以进行顺序逻辑综合和形式验证。
机译:未经正式培训就参与SoTL的策略思想和经验教训
机译:复制和抽象:自动形式验证中的对称性。
机译:联邦方法进行正式的硬件设计验证。