Refinement-based verification of elastic pipelined systems.

Sudarshan K. Srinivasan Y. Cai Koushik Sarker

Published in: IET Comput. Digit. Tech. (2012)

Keyphrases

management system
asynchronous circuits
mobile devices
distributed systems
model checking
neural network
artificial intelligence
intelligent systems
building blocks
multimodal biometrics