Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023. pages 1-2, IEEE, 2023. [doi]

This author has not been identified. Look up 'Bruno Ferres' in GoogleThis author has not been identified. Look up 'O. Oulkaid' in GoogleThis author has not been identified. It may be one of the following persons:

Ludovic Henrio

Look up 'Ludovic Henrio' in GoogleThis author has not been identified. Look up 'Mehdi Khosravian Ghadikolaei' in GoogleThis author has not been identified. Look up 'Matthieu Moy' in GoogleThis author has not been identified. Look up 'Gabriel Radanne' in GoogleThis author has not been identified. Look up 'Pascal Raymond' in Google

runs on WebDSL