Comprehensive search for ECO rectification using symbolic sampling
- Victor N. Kravets
- Nian Ze Lee
- et al.
- 2019
- DAC 2019
Publications
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