...
机译:将对称约简与广义符号轨迹评估相结合
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China;
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China;
Synopsys Inc., Mountain View, CA, USA;
Department of ECE, Portland State University, Portland, OR, USA;
generalized symbolic trajectory evaluation; symmetry reduction; theorem proving;
机译:在符号轨迹评估中自动探索结构对称性
机译:通过符号轨迹评估验证晶体管级电路时利用对称性
机译:结合对称约简和欠逼近进行符号模型检查
机译:结合对称约简和符号表示进行有效的模型检查
机译:广义符号轨迹评估中的含意和抽象以及基于群论的可逆逻辑综合。
机译:椎弓根螺钉插入的跨弹道技术的生物力学评估:传统弹道和皮质骨弹道的组合使用
机译:结合对称约简和欠约化进行符号模型检验
机译:隐式广义Hamilton系统的对称性与约化