Sign in
Logic Synthesis Technique for High Speed Differential Dynamic Logic with Asymmetric Slope Transition.
Masao Morimoto
Yoshinori Tanaka
Makoto Nagata
Kazuo Taki
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2005)
Keyphrases
</>
dynamic logic
logic synthesis
high speed
low power
logic circuits
multi valued
reasoning about actions
heuristic search
modal logic
quantum computing
imperative programs
propositional dynamic logic
real time
inductive learning
first order logic
expert systems
artificial intelligence
low cost
relational databases