SAT-Sweeping Enhanced for Logic Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli. SAT-Sweeping Enhanced for Logic Synthesis. In 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020. pages 1-6, IEEE, 2020. [doi]

This author has not been identified. Look up 'Luca G. Amarù' in GoogleThis author has not been identified. Look up 'Felipe S. Marranghello' in GoogleThis author has not been identified. Look up 'Eleonora Testa' in GoogleThis author has not been identified. Look up 'Christopher Casares' in GoogleThis author has not been identified. Look up 'Vinicius N. Possani' in GoogleThis author has not been identified. Look up 'Jiong Luo' in GoogleThis author has not been identified. Look up 'Patrick Vuillod' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'Giovanni De Micheli' in Google

runs on WebDSL