A Higher-Level Language for Hardware Synthesis (2001)

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