On coloring and colorability analysis of integrated circuits with triple and quadruple patterning techniques
- Alexey Lvov
- Gustavo Tellez
- et al.
- 2018
- ISPD 2018
Publications
Date
Featured collections
Popular topics
10 results for Alexey Lvov
Scaffcc: A framework for compilation and analysis of quantum computing programs
- Ali JavadiAbhari
- Shruti Patil
- et al.
- 2014
- CF 2014
Formal verification of error correcting circuits using computational algebraic geometry
- Alexey Lvov
- Luis A. Lastras-Montano
- et al.
- 2012
- FMCAD 2012
Floorplanning challenges in early chip planning
- Jeonghee Shin
- John A. Darringer
- et al.
- 2011
- SOCC 2011
Exact basic geometric operations on arbitrary angle polygons using only fixed size integer coordinates
- Alexey Lvov
- Ulrich Finkler
- 2008
- ICCAD 2008
The problem of optimal placement of Sub-Resolution Assist Features (SRAF)
- Maharaj Mukherjee
- Scott Mansfield
- et al.
- 2005
- SPIE Advanced Lithography 2005
Fast calculation of images for high numerical aperture lithography
- Alan E. Rosenbluth
- Gregg Gallatin
- et al.
- 2004
- SPIE Advanced Lithography 2004
A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints
- Alexey Lvov
- Fook-Luen Heng
- 2004
- GLSVLSI 2004
ScaffCC: Scalable compilation and analysis of quantum programs
- Ali JavadiAbhari
- Shruti Patil
- et al.
- 2015
- Parallel Computing
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
- Alexey Lvov
- Luis A. Lastras-Montaño
- et al.
- 2014
- Formal Methods in System Design