Travelled to:2 × France
4 × USA
Collaborated with:K.A.Sakallah A.Mishchenko P.Kudva M.L.Case R.K.Brayton M.Elbayoumi M.Choudhury A.Sullivan M.S.Hsiao M.Y.ElNainay
Talks about:synthesi (4) construct (2) sequenti (2) enumer (2) logic (2) awar (2) use (2) multilevel (1) decomposit (1) algorithm (1)
Person: Victor N. Kravets
DBLP: Kravets:Victor_N=
Contributed to:
2014
20092008200420001998Wrote 6 papers:
- DAC-2014-ElbayoumiCKSHE #algorithm #named #parallel #synthesis
- TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis (ME, MC, VNK, AS, MSH, MYE), p. 6.
- DATE-2009-KravetsM #logic #synthesis #using
- Sequential logic synthesis using symbolic bi-decomposition (VNK, AM), pp. 1458–1463.
- DAC-2008-CaseKMB
- Merging nodes under sequential observability (MLC, VNK, AM, RKB), pp. 540–545.
- DAC-2004-KravetsK #optimisation
- Implicit enumeration of structural changes in circuit optimization (VNK, PK), pp. 438–441.
- DATE-2000-KravetsS #symmetry #synthesis #using
- Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.
- DAC-1998-KravetsS #logic #multi #named #synthesis
- M32: A Constructive multilevel Logic Synthesis System (VNK, KAS), pp. 336–341.