Mike Mills Greg Peterson Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis. 18-27 1998 SIGAda http://doi.acm.org/10.1145/289524.289528 db/conf/sigada/sigada98.html#MillsP98