A Higher-Level Language for Hardware Synthesis (2001)

by Richard Sharp , Alan Mycroft
Venue:Proc. of Correct Hardware Design and Veri Methods (CHARME
Citations:13 - 4 self