An Embedded Language Framework for Hardware Compilation (2002)

by Koen Claessen , Gordon Pace
Venue:DESIGNING CORRECT CIRCUITS
Citations:16 - 8 self