On Synthesis of Boolean Expressions for Memristive Devices Using Sequential Implication Logic
: Poikonen Jussi, Lehtonen Eero, Laiho Mika
: 2012
: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
: 7
: 31
: 7
: 1129
: 1134
: 6
: 0278-0070
DOI: https://doi.org/10.1109/TCAD.2012.2187524