Shared Structurally Synthesized Binary Decision Diagrams; digital circuits; fault collapsing; logic models; logic simulation;
机译:具有共享的结构综合BDD的电路建模和仿真
机译:结构合成BDD的数字电路概率可耐心措施计算
机译:顺序逻辑电路中的单故障倒塌分析
机译:用共享结构合成BDD折叠逻辑仿真和故障
机译:MEM继电器电路基于BDD的逻辑综合。
机译:空心双金属核-壳纳米粒子的多元熔融模式和结构崩溃:分子动力学模拟的一个角度。
机译:在时间上合成共享自治政策的帕累托效率 逻辑约束