HAL: A block level HArdware Logic simulator.
Tohru SasakiNobuhiko KoikeKenji OhmoriKyoji TomitaPublished in: DAC (1983)
Keyphrases
- digital circuits
- low cost
- classical logic
- hardware and software
- real time
- chip design
- simulation model
- modal logic
- computer systems
- defeasible logic
- data sets
- parallel hardware
- proof theory
- hardware architecture
- multi valued
- computing systems
- test bed
- logic programming
- automated reasoning
- field programmable gate array
- hardware design
- embedded systems
- high end
- single chip
- data acquisition
- software implementation
- epistemic logic
- image processing
- information systems