A comparative study of two Boolean formulations of FPGA detailed routing constraints
- Gi-Joon Nam
- Fadi Aloul
- et al.
- 2004
- IEEE TC
Publications
3 results for Karem A. Sakallah
Resynthesis of multi-level circuits under tight constraints using symbolic optimization
- Victor N. Kravets
- Karem A. Sakallah
- 2002
- ICCAD 2002
A new FPGA detailed routing approach via search-based Boolean satisfiability
- Gi-Joon Nam
- Karem A. Sakallah
- et al.
- 2002
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems