SMT Solver With Hardware Acceleration.
Yean-Ru ChenSi-Han ChenShangwei LinPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- low cost
- hardware and software
- real time
- computer systems
- image processing
- hardware implementation
- massively parallel
- computing power
- parallel hardware
- vlsi implementation
- hardware architecture
- high end
- statistical machine translation
- hardware design
- graphics hardware
- personal computer
- embedded systems
- learning algorithm