A functional HDL in reFLect (2006)

by Tom Melham, John O’Leary
Venue:Sixth International Workshop on Designing Correct Circuits: Vienna, 25–26 March 2006: Participants’ Proceedings. ETAPS 2006