Old Web
English
Sign In
Acemap
>
authorDetail
>
Christopher Casares
Christopher Casares
Synopsys
Computer science
Logic synthesis
Programming language
Lookup table
Flow (mathematics)
3
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
LUT-Based Optimization For ASIC Design Flow
2021
DAC | Design Automation Conference
Luca Amaru
Vinicius N. Possani
Eleonora Testa
Felipe S. Marranghello
Christopher Casares
Jiong Luo
Patrick Vuillod
Alan Mishchenko
Giovanni De Micheli
Show All
Source
Cite
Save
Citations (0)
SAT-sweeping enhanced for logic synthesis
2020
DAC | Design Automation Conference
Luca Amaru
Felipe Marranghello
Eleonora Testa
Christopher Casares
Vinicius Possani
Jiong Luo
Patrick Vuillod
Alan Mishchen
Giovanni De Micheli
Show All
Source
Cite
Save
Citations (0)
SAT-Sweeping Enhanced for Logic Synthesis
2020
DAC | Design Automation Conference
Luca Amaru
Felipe S. Marranghello
Eleonora Testa
Christopher Casares
Vinicius N. Possani
Jiong Luo
Patrick Vuillod
Alan Mishchenko
Giovanni De Micheli
Show All
Source
Cite
Save
Citations (1)
1