default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVictor N. Kravets
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c24]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: 1-6- 2020
- [c23]Jie-Hong R. Jiang, Victor N. Kravets, Nian-Ze Lee
:
Engineering Change Order for Combinational and Sequential Design Rectification. DATE 2020: 726-731 - [c22]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: 738-743 - [c21]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: 71:1-71:6 - [c20]Yen-Ting Lin, Jie-Hong R. Jiang, Victor N. Kravets:
Symbolic Uniform Sampling with XOR Circuits. ICCAD 2020: 129:1-129:9
2010 – 2019
- 2019
- [c19]Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang:
Comprehensive Search for ECO Rectification Using Symbolic Sampling. DAC 2019: 71 - [c18]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: 1-6 - 2018
- [c17]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: 37 - [c16]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: 203-208 - [i1]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 abs/1810.01078 (2018) - 2017
- [c15]Bruno de O. Schmitt, Alan Mishchenko, Victor N. Kravets, Robert K. Brayton, André Inácio Reis:
Fast-extract with cube hashing. ASP-DAC 2017: 145-150 - [c14]Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang:
Sequential engineering change order under retiming and resynthesis. ICCAD 2017: 109-116 - [c13]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: 872-873 - 2016
- [c12]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: 42 - 2015
- [j1]Victor N. Kravets:
Application of a Key-Value Paradigm to Logic Factoring. Proc. IEEE 103(11): 2076-2092 (2015) - 2014
- [c11]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: 189:1-189:6 - 2011
- [c10]Alan Mishchenko, Robert K. Brayton, Stephen Jang, Victor N. Kravets:
Delay optimization using SOP balancing. ICCAD 2011: 375-382
2000 – 2009
- 2009
- [c9]Victor N. Kravets, Alan Mishchenko:
Sequential logic synthesis using symbolic bi-decomposition. DATE 2009: 1458-1463 - [c8]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: 1-8 - 2008
- [c7]Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton:
Merging nodes under sequential observability. DAC 2008: 540-545 - 2004
- [c6]Victor N. Kravets, Prabhakar Kudva:
Implicit enumeration of structural changes in circuit optimization. DAC 2004: 438-441 - 2003
- [c5]Victor N. Kravets, Prabhakar Kudva:
Understanding metrics in logic synthesis for routability enhancement. SLIP 2003: 3-5 - 2002
- [c4]Victor N. Kravets, Karem A. Sakallah:
Resynthesis of multi-level circuits under tight constraints using symbolic optimization. ICCAD 2002: 687-693 - 2001
- [b1]Victor N. Kravets:
Constructive multi-level synthesis by way of functional properties. University of Michigan, USA, 2001 - 2000
- [c3]Victor N. Kravets, Karem A. Sakallah:
Constructive Library-Aware Synthesis Using Symmetries. DATE 2000: 208-213 - [c2]Victor N. Kravets, Karem A. Sakallah:
Generalized Symmetries in Boolean Functions. ICCAD 2000: 526-532
1990 – 1999
- 1998
- [c1]Victor N. Kravets, Karem A. Sakallah:
M32: A Constructive multilevel Logic Synthesis System. DAC 1998: 336-341
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
