An Approach to the Specification and Verification of a Hardware Compilation Scheme.

Jonathan P. Bowen Jifeng He An Approach to the Specification and Verification of a Hardware Compilation Scheme. 23-39 2001 19 The Journal of Supercomputing 1 db/journals/tjs/tjs19.html#BowenJ01