Victor N. Kravets
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
5
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPDAC | Formalization of Rectification Learning for Economic Design Updates. | Victor N. Kravets, Jie-Hong R. Jiang |
| 2021 | ICCAD | DATC RDF-2021: Design Flow and Beyond ICCAD Special Session Paper. | Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Seungwon Kim, Victor N. Kravets, Yih-Lang Li, Ravi Varadarajan, Mingyu Woo |
| 2020 | DATE | Engineering Change Order for Combinational and Sequential Design Rectification. | Jie-Hong R. Jiang, Victor N. Kravets, Nian-Ze Lee |
| 2020 | DATE | Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle. | Victor N. Kravets, Jie-Hong R. Jiang, Heinz Riener |
| 2020 | ICCAD | DATC RDF-2020: Strengthening the Foundation for Academic Research in IC Physical Design. | Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo |
| 2020 | ICCAD | Symbolic Uniform Sampling with XOR Circuits. | Yen-Ting Lin, Jie-Hong R. Jiang, Victor N. Kravets |
| 2019 | DAC | Comprehensive Search for ECO Rectification Using Symbolic Sampling. | Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang |
| 2019 | ICCAD | DATC RDF-2019: Towards a Complete Academic Reference Design Flow. | Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo |
| 2018 | ICCAD | DATC RDF: an academic flow from logic synthesis to detailed routing. | Jinwook Jung, Iris Hui-Ru Jiang, Jianli Chen, Shih-Ting Lin, Yih-Lang Li, Victor N. Kravets, Gi-Joon Nam |
| 2017 | ASPDAC | Fast-extract with cube hashing. | Bruno de O. Schmitt, Alan Mishchenko, Victor N. Kravets, Robert K. Brayton, Andr Incio Reis |
| 2017 | ICCAD | DATC RDF: Robust design flow database: Invited paper. | Jinwook Jung, Pei-Yu Lee, Yan-Shiun Wu, Nima Karimpour Darav, Iris Hui-Ru Jiang, Victor N. Kravets, Laleh Behjat, Yih-Lang Li, Gi-Joon Nam |
| 2017 | ICCAD | Sequential engineering change order under retiming and resynthesis. | Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang |
| 2016 | ICCAD | OpenDesign flow database: the infrastructure for VLSI design and design automation research. | Jinwook Jung, Iris Hui-Ru Jiang, Gi-Joon Nam, Victor N. Kravets, Laleh Behjat, Yih-Lang Li |
| 2014 | DAC | TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis. | Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay |
| 2011 | ICCAD | Delay optimization using SOP balancing. | Alan Mishchenko, Robert K. Brayton, Stephen Jang, Victor N. Kravets |
| 2009 | DATE | Sequential logic synthesis using symbolic bi-decomposition. | Victor N. Kravets, Alan Mishchenko |
| 2009 | ITC | Low cost test point insertion without using extra registers for high performance design. | Haoxing Ren, Mary P. Kusko, Victor N. Kravets, Rona Yaari |
| 2008 | DAC | Merging nodes under sequential observability. | Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton |
| 2004 | DAC | Implicit enumeration of structural changes in circuit optimization. | Victor N. Kravets, Prabhakar Kudva |
| 2002 | ICCAD | Resynthesis of multi-level circuits under tight constraints using symbolic optimization. | Victor N. Kravets, Karem A. Sakallah |
| 2000 | DATE | Constructive Library-Aware Synthesis Using Symmetries. | Victor N. Kravets, Karem A. Sakallah |
| 2000 | ICCAD | Generalized Symmetries in Boolean Functions. | Victor N. Kravets, Karem A. Sakallah |
| 1998 | DAC | M32: A Constructive multilevel Logic Synthesis System. | Victor N. Kravets, Karem A. Sakallah |