A model of clocked micro-architectures for firmware engineering and design automation applications.

Subrata Dasgupta

Browse the full MICRO paper archive.