Login / Signup
Layout generation of array cell for NMOS 4-phase dynamic logic (short paper).
Makoto Furuie
Bao-Yu Song
Yukihiro Yoshida
Takao Onoye
Isao Shirakawa
Published in:
ASP-DAC (2000)
Keyphrases
</>
dynamic logic
reasoning about actions
modal logic
imperative programs
first order logic
layout design
classical first order logic
inter cell
multiple input
learning phase
generation process
agent programming
linear array
antenna array
propositional dynamic logic
training phase
situation calculus
logic programming