Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques.
Chandan KarfaDipankar SarkarChittaranjan A. MandalPublished in: ISVLSI (2010)
Keyphrases
- data flow
- control flow
- database machine
- symbolic execution
- object oriented software
- motion estimation
- motion analysis
- image sequences
- digital signal processing
- space time
- verification method
- data transfer
- motion model
- object oriented
- camera motion
- motion field
- systolic array
- artificial intelligence
- optical flow
- moving objects
- motion capture
- model checking
- bottle neck
- software architecture