From behavioral to RTL models: an approach.

Dominique Lavenier, Roderick McConnell

Browse the full RSP paper archive.