Keyphrases
- verilog hdl
- high speed
- objective function
- classical logic
- signal processing
- logic programming
- hardware implementation
- modal logic
- predicate logic
- real time
- logic circuits
- multi valued
- real time image processing
- gate array
- field programmable gate array
- low cost
- fpga implementation
- proof theory
- fpga device
- automated reasoning