University of Lodz Faculty of Physics and Applied Informatics Poland;
Logic gates; Circuit synthesis; Algorithm design and analysis; Binary decision diagrams; Boolean functions; Libraries; Memory management;
机译:通过使用节点依赖性矩阵从功能决策图合成可逆电路
机译:RMDDS:可逆逻辑电路的里德穆勒决策图综合
机译:基于MUX的分解算法和低功耗ASIC电路设计的新系统GDI电路合成
机译:用于可逆电路综合的基于群的二进制决策图(BDD)重排序优化器
机译:有效合成大型可逆二元和三元量子电路的方法和线性最近邻模型的应用
机译:具有简并性的二元细胞命运决定基因电路的通用模型:不存在合作性时的不确定性和切换行为
机译:用决策图合成可逆电路