An efficient pass-transistor-logic synthesizer using multiplexers and inverters only.

Shen-Fu Hsiao Ming-Yu Tsai Ming-Chih Chen Chia-Sheng Wen

Published in: ISCAS (3) (2005)

Keyphrases

high speed
logic programming
modal logic
multi valued
information systems
classical logic
computational properties
predicate logic
data sets
genetic algorithm
artificial intelligence
search engine
multi agent
computationally efficient
automated reasoning
proof theory