Hardware Synthesis using SAFL and Application to Processor Design (2001)

by A Mycroft, R W Sharp
Venue:Lecture Notes in Computer Science: Proc. CHARME'01