BibSLEIGH — Igor_L

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: Markov:Igor_L=

Contributed to:

2013

2012

2010

2009

2008

2006

2005

2004

2003

2002

2000

1999

1998

1997

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.
DAC-2003-BullockM: 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.
DAC-1998-KahngLMMMPTWW: 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.