Login / Signup
HLSIM - A New Hierarchical Logic Simulator and Netlist Converter.
David A. Zein
Oliver P. Engel
Gary S. Ditlow
Published in:
DAC (1992)
Keyphrases
</>
hierarchical structure
modal logic
multi valued
logic programming
coarse to fine
test bed
simulation model
control method
high voltage
hierarchical model
classical logic
sound and complete axiomatization
low voltage
single phase
predicate logic
defeasible logic
logical framework
transfer function
model checking