A Behavioural Specification of Cache Coherence.

Peter J. Ashenden Chris D. Marlin

Published in: Aust. Comput. J. (1988)

Keyphrases

high level
computer vision
formal specification
artificial intelligence
image processing
digital libraries
conceptual model
formal methods
formal verification
asynchronous circuits