Fast-extract with cube hashing
- Bruno O. Schmitt De
- Alan Mishchenko
- et al.
- 2017
- ASP-DAC 2017
Publications
18 results for Victor N. Kravets
OpenDesign flow database: The infrastructure for VLSI design and design automation research
- Jinwook Jung
- Iris Hui Ru Jiang
- et al.
- 2016
- ICCAD 2016
Application of a Key-Value Paradigm to Logic Factoring
- Victor N. Kravets
- 2015
- Proceedings of the IEEE
Sequential logic synthesis using symbolic bi-decomposition
- Victor N. Kravets
- Alan Mishchenko
- 2009
- DATE 2009
Merging nodes under sequential observability
- Michael L. Case
- Victor N. Kravets
- et al.
- 2008
- DAC 2008
Implicit enumeration of structural changes in circuit optimization
- Victor N. Kravets
- Prabhakar Kudva
- 2004
- DAC 2004
Understanding Metrics in Logic Synthesis for Routability Enhancement
- Victor N. Kravets
- Prabhakar Kudva
- 2003
- SLIP 2003
Resynthesis of multi-level circuits under tight constraints using symbolic optimization
- Victor N. Kravets
- Karem A. Sakallah
- 2002
- ICCAD 2002