Comprehensive search for ECO rectification using symbolic sampling
- Victor N. Kravets
- Nian Ze Lee
- et al.
- 2019
- DAC 2019
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
18 results for Victor N. Kravets
Merging nodes under sequential observability
- Michael L. Case
- Victor N. Kravets
- et al.
- 2008
- DAC 2008
Implicit enumeration of structural changes in circuit optimization
- Victor N. Kravets
- Prabhakar Kudva
- 2004
- DAC 2004
Symbolic Uniform Sampling with XOR Circuits
- Yen Ting Lin
- Jie Hong R. Jiang
- et al.
- 2020
- ICCAD 2020
DATC RDF-2020: Strengthening the Foundation for Academic Research in IC Physical Design
- Jianli Chen
- Iris Hui Ru Jiang
- et al.
- 2020
- ICCAD 2020
Engineering Change Order for Combinational and Sequential Design Rectification
- Jie Hong R. Jiang
- Victor N. Kravets
- et al.
- 2020
- DATE 2020
Learning to Automate the Design Updates from Observed Engineering Changes in the Chip Development Cycle
- Victor N. Kravets
- Jie Hong R. Jiang
- et al.
- 2020
- DATE 2020
DATC RDF-2019: Towards a complete academic reference design flow
- Jianli Chen
- Iris Hui Ru Jiang
- et al.
- 2019
- ICCAD 2019
DATC RDF: An academic flow from logic synthesis to detailed routing
- Jinwook Jung
- Iris Hui Ru Jiang
- et al.
- 2018
- ICCAD 2018
End-to-end industrial study of retiming
- Cunxi Yu
- Chau Chin Huang
- et al.
- 2018
- ISVLSI 2018