University of Southern California;
机译:利用基于签名的布尔函数规范形式进行对称检测和布尔匹配
机译:逻辑综合和验证中用于快速布尔匹配的新规范形式
机译:利用对称性来加速基于SAT的布尔匹配以实现FPGA的逻辑综合
机译:逻辑综合和验证中用于快速布尔匹配的新规范形式
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:用于检测乳房肿块的基于互信息的模板匹配方案:从乳房X线摄影到数字乳房爆炸
机译:一种新的规范形式,用于逻辑综合和验证中的快速布尔匹配