Christopher Casares

According to our database, Christopher Casares authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

LUT-Based Optimization For ASIC Design Flow.

Luca Gaetano Amarù, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello, Christopher Casares, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

SAT-Sweeping Enhanced for Logic Synthesis.

Luca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Scalable Boolean Methods in a Modern Synthesis Flow.

Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019