Concurrent Logic Programming as a Hardware Description Tool.

Yoheved Dotan Benjamin Arazi Concurrent Logic Programming as a Hardware Description Tool. 72-88 1990 39 IEEE Trans. Computers 1 db/journals/tc/tc39.html#DotanA90