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

by H Xiong, P Curzon, S Tahar, A Blandford
Venue:In TPHOLs 2000 Supplemental Proceedings, Technical Report CSE-00-009