Embedding and verification of an MDG-HDL translator in HOL (2000)

by H Xiong, P Curzon, S Tahar, A Blandford
Venue:Oregon Graduate Institute