A logic based approach to hardware abstraction.
Khaled BenkridSamir BelkacemiDanny CrookesPublished in: FPGA (2003)
Keyphrases
- digital circuits
- low cost
- hardware and software
- hardware designs
- modal logic
- real time
- image processing
- high level
- bounded model checking
- automated reasoning
- chip design
- computational properties
- multi valued
- computing power
- hardware implementation
- logic programming
- computer systems
- personal computer
- hardware design
- predicate logic
- parallel hardware
- neural network
- expressive power
- vlsi implementation
- digital signal processor
- random number generator
- information systems