...
机译:构造布尔电路和定时三元模拟的准确性
Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich University of Bamberg, Bamberg, Germany;
Synopsys, Inc., Mountain View, CA, USA;
INRIA, Sophia Antipolis, France;
combinational circuits; delay models; ternary simulation; constructive logic;
机译:使用高阶逻辑(HOL)软件的布尔电路分支程序的通用计算框架和仿真-对ECAD工具设计范例的见解
机译:使用高阶逻辑(HOL)软件的布尔电路分支程序的通用计算框架和仿真-对ECAD工具设计范例的见解
机译:使用高阶逻辑(HOL)软件的布尔电路分支程序的通用计算框架和仿真-对ECAD工具设计范例的见解
机译:电路延迟模型及其使用定时布尔函数的精确计算
机译:使用功能仿真和布尔可满足性对数字电路进行综合和验证。
机译:随机连续时间布尔模型的精确求解和灵敏度分析
机译:利用启发式方法在三元量子空间中嵌入可逆逻辑电路的进化量子逻辑综合
机译:在构造实体几何(CsG)扫描线算法中减少布尔评估时间的技术