Victor N. Kravets

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 14

Top Topics

Special Session

Uniform Sampling

Top Venues

Publications

Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Seungwon Kim, Victor N. Kravets, Yih-Lang Li, Ravi Varadarajan, Mingyu Woo
DATC RDF-2021: Design Flow and Beyond ICCAD Special Session Paper. ICCAD (2021)
Yen-Ting Lin, Jie-Hong R. Jiang, Victor N. Kravets
Symbolic Uniform Sampling with XOR Circuits. ICCAD (2020)
Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo
DATC RDF-2020: Strengthening the Foundation for Academic Research in IC Physical Design. ICCAD (2020)
Jie-Hong R. Jiang, Victor N. Kravets, Nian-Ze Lee
Engineering Change Order for Combinational and Sequential Design Rectification. DATE (2020)
Victor N. Kravets, Jie-Hong R. Jiang, Heinz Riener
Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle. DATE (2020)
Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo
DATC RDF-2019: Towards a Complete Academic Reference Design Flow. ICCAD (2019)
Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang
Comprehensive Search for ECO Rectification Using Symbolic Sampling. DAC (2019)
Jinwook Jung, Iris Hui-Ru Jiang, Jianli Chen, Shih-Ting Lin, Yih-Lang Li, Victor N. Kravets, Gi-Joon Nam
DATC RDF: an academic flow from logic synthesis to detailed routing. ICCAD (2018)
Cunxi Yu, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej J. Ciesielski, Giovanni De Micheli
End-to-End Industrial Study of Retiming. ISVLSI (2018)
Jinwook Jung, Iris Hui-Ru Jiang, Jianli Chen, Shih-Ting Lin, Yih-Lang Li, Victor N. Kravets, Gi-Joon Nam
DATC RDF: An Open Design Flow from Logic Synthesis to Detailed Routing. CoRR (2018)
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
DATC RDF: Robust design flow database: Invited paper. ICCAD (2017)
Bruno de O. Schmitt, Alan Mishchenko, Victor N. Kravets, Robert K. Brayton, André Inácio Reis
Fast-extract with cube hashing. ASP-DAC (2017)
Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang
Sequential engineering change order under retiming and resynthesis. ICCAD (2017)
Jinwook Jung, Iris Hui-Ru Jiang, Gi-Joon Nam, Victor N. Kravets, Laleh Behjat, Yih-Lang Li
OpenDesign flow database: the infrastructure for VLSI design and design automation research. ICCAD (2016)
Victor N. Kravets
Application of a Key-Value Paradigm to Logic Factoring. Proc. IEEE 103 (11) (2015)
Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay
TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis. DAC (2014)
Alan Mishchenko, Robert K. Brayton, Stephen Jang, Victor N. Kravets
Delay optimization using SOP balancing. ICCAD (2011)
Victor N. Kravets, Alan Mishchenko
Sequential logic synthesis using symbolic bi-decomposition. DATE (2009)
Haoxing Ren, Mary P. Kusko, Victor N. Kravets, Rona Yaari
Low cost test point insertion without using extra registers for high performance design. ITC (2009)
Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
Merging nodes under sequential observability. DAC (2008)
Victor N. Kravets, Prabhakar Kudva
Implicit enumeration of structural changes in circuit optimization. DAC (2004)
Victor N. Kravets, Prabhakar Kudva
Understanding metrics in logic synthesis for routability enhancement. SLIP (2003)
Victor N. Kravets, Karem A. Sakallah
Resynthesis of multi-level circuits under tight constraints using symbolic optimization. ICCAD (2002)
Victor N. Kravets, Karem A. Sakallah
Generalized Symmetries in Boolean Functions. ICCAD (2000)
Victor N. Kravets, Karem A. Sakallah
Constructive Library-Aware Synthesis Using Symmetries. DATE (2000)
Victor N. Kravets, Karem A. Sakallah
M32: A Constructive multilevel Logic Synthesis System. DAC (1998)