Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL.

Masahiro Fujita

Browse the full MEMOCODE paper archive.