BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
13 × USA
4 × France
4 × Germany
Collaborated with:
K.A.Sakallah A.B.Kahng J.P.Hayes A.E.Caldwell F.Koushanfar S.Krishnaswamy M.Kim H.Katebi F.A.Aloul S.S.Bullock K.Chang V.Bertacco J.A.Roy P.T.Darga G.F.Viamontes R.R.Nadakuditi H.J.García D.Lee D.Maslov A.Ramani J.Hu H.Chou S.Plaza S.Reda V.V.Shende S.Mantik M.Potkonjak P.Tucker H.Wang G.Wolfe M.D.Moffitt A.N.Ng M.E.Pollack M.H.Liffiton O.Coudert C.Meinel E.Sentovich A.A.Kennings Y.Yao M.Kim J.Li Y.Oh M.N.Mneimneh Z.S.Andraus C.J.Alpert T.F.Chan D.J.Huang K.Yan Y.Cao H.Lu M.Oliver D.Stroobandt D.Sylvester J.Lach W.H.Mangione-Smith
Talks about:
symmetri (7) placement (4) circuit (4) base (4) improv (3) design (3) clock (3) use (3) methodolog (2) hypergraph (2)

Person: Igor L. Markov

DBLP DBLP: Markov:Igor_L=

Contributed to:

DAC 20132013
DATE 20132013
DAC 20122012
DATE 20122012
DAC 20102010
DATE 20102010
SAT 20102010
DAC 20092009
DATE 20092009
DAC 20082008
DATE 20082008
DAC 20062006
DATE 20052005
DAC 20042004
DATE v1 20042004
DATE v2 20042004
DAC 20032003
DAC 20022002
DAC 20002000
DAC 19991999
DAC 19981998
DAC 19971997

Wrote 36 papers:

DAC-2013-HuKM #complexity #coordination
Taming the complexity of coordinated place and route (JH, MCK, ILM), p. 7.
DATE-2013-YaoKLMK #named #network #physics
ClockPUF: physical unclonable functions based on clock networks (YY, MK, JL, ILM, FK), pp. 422–427.
DAC-2012-LiuH12a #named #optimisation
ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement (MCK, ILM), pp. 747–752.
DATE-2012-ChangCM #analysis
RTL analysis and modifications for improving at-speed test (KHC, HZC, ILM), pp. 400–405.
DAC-2010-NadakuditiM #cost analysis #on the
On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.
DATE-2010-GarciaM #energy #named
Spinto: High-performance energy minimization in spin glasses (HJG, ILM), pp. 160–165.
DATE-2010-KatebiM #scalability
Large-scale Boolean matching (HK, ILM), pp. 771–776.
DATE-2010-LeeM #named #network #optimisation
Contango: Integrated optimization of SoC clock networks (DL, ILM), pp. 1468–1473.
SAT-2010-KatebiSM #satisfiability #symmetry
Symmetry and Satisfiability: An Update (HK, KAS, ILM), pp. 113–127.
DAC-2009-KrishnaswamyMH #testing
Improving testability and soft-error resilience through retiming (SK, ILM, JPH), pp. 508–513.
DATE-2009-ChangBM #design #using
Customizing IP cores for system-on-chip designs using extensive external don’t-cares (KHC, VB, ILM), pp. 582–585.
DAC-2008-DargaSM #performance #symmetry #using
Faster symmetry discovery using sparsity of symmetries (PTD, KAS, ILM), pp. 149–154.
DAC-2008-KrishnaswamyMH #design #logic #on the #reliability
On the role of timing masking in reliable logic circuit design (SK, ILM, JPH), pp. 924–929.
DAC-2008-RoyKM #hardware
Protecting bus-based hardware IP by secret sharing (JAR, FK, ILM), pp. 846–851.
DATE-2008-PlazaMB #constraints #generative #random #using
Random Stimulus Generation using Entropy and XOR Constraints (SP, ILM, VB), pp. 664–669.
DATE-2008-RoyKM #named
EPIC: Ending Piracy of Integrated Circuits (JAR, FK, ILM), pp. 1069–1074.
DAC-2006-MoffittNMP #constraints
Constraint-driven floorplan repair (MDM, ANN, ILM, MEP), pp. 1103–1108.
DATE-2005-KrishnaswamyVMH #evaluation #matrix #probability #reliability
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices (SK, GFV, ILM, JPH), pp. 282–287.
DATE-2005-MarkovM #encryption #hardware #logic
Uniformly-Switching Logic for Cryptographic Hardware (ILM, DM), pp. 432–433.
DAC-2004-DargaLSM #detection #symmetry
Exploiting structure in symmetry detection for CNF (PTD, MHL, KAS, ILM), pp. 530–534.
DAC-2004-OhMASM #named #satisfiability
AMUSE: a minimally-unsatisfiable subformula extractor (YO, MNM, ZSA, KAS, ILM), pp. 518–523.
DATE-v1-2004-RamaniAMS #graph #independence #symmetry
Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.
DATE-v2-2004-KahngMR #named
Boosting: Min-Cut Placement with Improved Signal Delay (ABK, ILM, SR), pp. 1098–1103.
DATE-v2-2004-ShendeMB #communication #quantum
Smaller Two-Qubit Circuits for Quantum Communication and Computation (VVS, ILM, SSB), pp. 980–987.
DATE-v2-2004-ViamontesMH #quantum #simulation
High-Performance QuIDD-Based Simulation of Quantum Circuits (GFV, ILM, JPH), pp. 1354–1355.
DAC-2003-AloulMS #named #performance #satisfiability #symmetry
Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.
An arbitrary twoqubit computation In 23 elementary gates or less (SSB, ILM), pp. 324–329.
DAC-2002-AloulRMS #satisfiability #symmetry
Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.
DAC-2000-CaldwellCKKLMOSS #named
GTX: the MARCO GSRC technology extrapolation system (AEC, YC, ABK, FK, HL, ILM, MO, DS, DS), pp. 693–698.
DAC-2000-CaldwellKM #question #recursion
Can recursive bisection alone produce routable placements? (AEC, ABK, ILM), pp. 477–482.
DAC-2000-CoudertMMS #framework
Web-based frameworks to enable CAD RD (OC, ILM, CM, ES), p. 711.
DAC-1999-CaldwellKKM #clustering #development #heuristic
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.
DAC-1999-CaldwellKM #clustering
Hypergraph Partitioning with Fixed Vertices (AEC, ABK, ILM), pp. 355–359.
Watermarking Techniques for Intellectual Property Protection (ABK, JL, WHMS, SM, ILM, MP, PT, HW, GW), pp. 776–781.
DAC-1998-KahngMMPTWW #design #physics #robust
Robust IP Watermarking Methodologies for Physical Design (ABK, SM, ILM, MP, PT, HW, GW), pp. 782–787.
DAC-1997-AlpertCHMY #polynomial #revisited
Quadratic Placement Revisited (CJA, TFC, DJHH, ILM, KY), pp. 752–757.

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.