Formal hardware verification by integrating HOL and MDG - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song. Formal hardware verification by integrating HOL and MDG. In Majid Sarrafzadeh, Prithviraj Banerjee, Kaushik Roy, editors, Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000. pages 23-28, ACM, 2000. [doi]

This author has not been identified. Look up 'V. K. Pisini' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in GoogleThis author has not been identified. Look up 'Paul Curzon' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Xiaoyu Song' in Google

runs on WebDSL