HAL III: function level hardware logic simulation.
Shigeru TakasakiNobuyoshi NomizuYoshihiro HirabayashiHiroshi IshikuraMasahiro KurashitaNobuhiko KoikeToshiyuki NakataPublished in: ICCD (1990)
Keyphrases
- low cost
- real time
- digital circuits
- genetic algorithm
- sound and complete axiomatization
- hardware and software
- simulation model
- image processing
- chip design
- logic programming
- lower level
- computing systems
- piecewise linear
- levels of abstraction
- automated reasoning
- multi valued
- logical framework
- hardware design
- higher level