Keyphrases
- verilog hdl
- computational properties
- hardware implementation
- logic programming
- modal logic
- classical logic
- objective function
- high speed
- multi valued
- field programmable gate array
- real time image processing
- data acquisition
- deontic logic
- low cost
- knowledge representation
- hardware design
- software implementation
- verification method
- dedicated hardware
- real time