Login / Signup
Logisim: a graphical system for logic circuit design and simulation.
Carl Burch
Published in:
ACM J. Educ. Resour. Comput. (2002)
Keyphrases
</>
circuit design
digital circuits
design automation
simulation models
qualitative and quantitative
simulation environment
modal logic
logic programming
simulation study
simulation model
database
classical logic
expert systems
data sets
logical framework
knowledge base
predicate logic
deontic logic