A higher-level language for hardware synthesis,” Correct Hardware Design and Verification Methods, ser (0)

by R Sharp, A Mycroft
Venue:Lecture Notes in Computer Science, T. Margaria and