University of Michigan.;
机译:智能系统中数字集成电路合成中布尔函数的复杂性
机译:集成设计验证:数字集成电路的仿真与形式验证相结合
机译:使用混合仿真对数字电路进行形式验证
机译:关于在自定时电路的合成中找到功能上完整的容忍布尔函数的最佳集合的问题的陈述
机译:使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
机译:勘误表:反馈电路的功能组合决定了类似路径的布尔网络中吸引子的数量和大小
机译:基于多值布尔代数的数字电路门级仿真
机译:数字硬件模块的自动综合:互连的仿真和验证。