Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviors.
Chandan KarfaKunal BanerjeeDipankar SarkarChittaranjan A. MandalPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
- model checking
- human behavior
- behavior recognition
- asynchronous circuits
- artificial intelligence
- malicious behavior
- linear array
- concurrent systems
- programmable logic
- signature verification
- face verification
- finite state machines
- cooperative
- machine learning
- formal verification
- feedback loop
- behavior patterns
- arithmetic operations
- focal plane
- social behavior
- floating point
- high security