Formal hardware verification by integrating HOL and MDG. - V. K. Pisini; Sofiène Tahar; Paul Curzon; Otmane Aït Mohamed; Xiaoyu Song (ACM Great Lakes Symposium on VLSI, 2000)