Search the dblp DataBase

Publications of Author

1. Victor N. Kravets, Prabhakar Kudva
   Implicit enumeration of structural changes in circuit optimization. [Citation Graph (0, 0)][DBLP]
   DAC, 2004, pp:438-441 [Conf]
   
2. Victor N. Kravets, Karem A. Sakallah
   M32: A Constructive multilevel Logic Synthesis System. [Citation Graph (0, 0)][DBLP]
   DAC, 1998, pp:336-341 [Conf]
   
3. Victor N. Kravets, Karem A. Sakallah
   Constructive Library-Aware Synthesis Using Symmetries. [Citation Graph (0, 0)][DBLP]
   DATE, 2000, pp:208-0 [Conf]
   
4. Victor N. Kravets, Karem A. Sakallah
   Generalized Symmetries in Boolean Functions. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2000, pp:526-532 [Conf]
   
5. Victor N. Kravets, Karem A. Sakallah
   Resynthesis of multi-level circuits under tight constraints using symbolic optimization. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2002, pp:687-693 [Conf]
   
6. Victor N. Kravets, Prabhakar Kudva
   Understanding metrics in logic synthesis for routability enhancement. [Citation Graph (0, 0)][DBLP]
   SLIP, 2003, pp:3-5 [Conf]
   
7. 
   Merging nodes under sequential observability. [Citation Graph (, )][DBLP]
   
   
8. 
   Sequential logic synthesis using symbolic bi-decomposition. [Citation Graph (, )][DBLP]