Sequential engineering change order under retiming and resynthesis
- Nian Ze Lee
- Victor N. Kravets
- et al.
- 2017
- ICCAD 2017
Publications
Date
Featured collections
Popular topics
18 results for Victor N. Kravets
DATC RDF: Robust design flow database: Invited paper
- Jinwook Jung
- Pei-Yu Lee
- et al.
- 2017
- ICCAD 2017
Fast-extract with cube hashing
- Bruno O. Schmitt De
- Alan Mishchenko
- et al.
- 2017
- ASP-DAC 2017
OpenDesign flow database: The infrastructure for VLSI design and design automation research
- Jinwook Jung
- Iris Hui Ru Jiang
- et al.
- 2016
- ICCAD 2016
Sequential logic synthesis using symbolic bi-decomposition
- Victor N. Kravets
- Alan Mishchenko
- 2009
- DATE 2009
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
Application of a Key-Value Paradigm to Logic Factoring
- Victor N. Kravets
- 2015
- Proceedings of the IEEE