Reversible circuit synthesis; Symbolic methods; Binary decision diagrams; Boolean satisfiability;
机译:利用功率分析抗攻击可逆逻辑门设计AES算法的子字节和InvSubBytes转换
机译:用于优化4位可逆逻辑系统综合的高效算法
机译:最佳4位可逆逻辑系统综合的高效算法
机译:基于快速符号变换的可逆逻辑综合算法
机译:广义符号轨迹评估中的含意和抽象以及基于群论的可逆逻辑综合。
机译:基于DNAzyme的Toffoli和Fredkin逻辑门证明了逻辑可逆性和热力学不可逆性
机译:一种基于变换的可逆逻辑综合算法