Embedding and veri of an MDG-HDL translator (0)

by H Xiong, P Curzon, S Tahar, A Blandford
Venue:in HOL. In TPHOLs 2000 Supplemental Proceedings