Victor N. Kravets

28 papers A* 5A 16Journal 2Unranked 4

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