机译:在符号轨迹评估中自动探索结构对称性
State Key Lab of Computer Science, Chinese Academy of Sciences, Beijing, China;
Synopsys Inc., Mountain View, CA 94043, USA;
Dept, ECE, Portland State University, Portland, OR 97207, USA;
State Key Lab of Computer Science, Chinese Academy of Sciences, Beijing, China;
symmetry; symbolic trajectory evaluation; theorem proving;
机译:将对称约简与广义符号轨迹评估相结合
机译:通过符号轨迹评估验证晶体管级电路时利用对称性
机译:自动计算深部大脑刺激的电极轨迹:混合符号和数值方法
机译:为广义符号轨迹评估优化自动抽象细化
机译:迈向使用MDG的一阶符号轨迹评估。
机译:超越询问:探索使用自动价格评估来隐式估计消费者的支付意愿
机译:通过符号轨迹评估验证晶体管级电路时利用对称性
机译:轨迹的符号计算与自动分析