Symbolic Simulation Heuristics for High-Level Hardware Descriptions Including Uninterpreted Functions.
Kiyoharu HamaguchiPublished in: IEICE Trans. Inf. Syst. (2004)
Keyphrases
- high level
- low level
- intermediate level
- low cost
- hardware software
- search algorithm
- real time
- symbolic description
- hardware and software
- mathematical model
- heuristic search
- general purpose
- simulation model
- embedded systems
- image processing
- massively parallel
- simulation environment
- symbolic descriptions
- search strategies
- high level programming
- computing power
- data acquisition
- data sets