Verification of Cache Coherence Protocols wrt. Trace Filters.
Parosh Aziz AbdullaMohamed Faouzi AtigZeinab GanjeiAhmed RezineYunyun ZhuPublished in: FMCAD (2015)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- formal verification
- edge detection
- multiscale
- integrity constraints
- verification method
- steerable filters
- asynchronous circuits
- low pass filter
- band pass filters
- neural network
- communication protocols
- adaptive filtering
- image filtering
- formal analysis
- gabor filters
- image processing