Accelerated verification of RTL assertions based on satisfiability solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem. Accelerated verification of RTL assertions based on satisfiability solvers. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 107-110, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Ranan Fraer' in GoogleThis author has not been identified. Look up 'Shahid Ikram' in GoogleThis author has not been identified. Look up 'Gila Kamhi' in GoogleThis author has not been identified. Look up 'Tim Leonard' in GoogleThis author has not been identified. Look up 'Abdel Mokkedem' in Google

runs on WebDSL