Decision Diagram; Controlling values; Arrival times;
机译:减少有序二进制决策图的组合电路合成,用于优化面积,功率和温度
机译:混沌图形模拟与二元决策图等价于组合电路的等效检查
机译:混沌图形模拟与二元决策图等价于组合电路的等效检查
机译:使用加权二进制决策图(WBDD)的组合电路时序分析
机译:在电路网表和零抑制二进制决策图上验证了基于蒙特卡洛的分析。
机译:具有简并性的二元细胞命运决定基因电路的通用模型:不存在合作性时的不确定性和切换行为
机译:具有二元决策图的数字电路时序仿真