BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kravets:Victor_N=

Contributed to:

DAC 20142014
DATE 20092009
DAC 20082008
DAC 20042004
DATE 20002000
DAC 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.