Igor L. Markov
Titel
Citeras av
Citeras av
År
Ending piracy of integrated circuits
JA Roy, F Koushanfar, IL Markov
IEEE Computer 10 (43), 30-38, 2010
627*2010
Synthesis of Reversible Logic Circuits
VV Shende, AK Prasad, L Markov, Igor, JP Hayes
Hayes,” Synthesis of Reversible Logic Circuits”, IEEE Transaction on …, 2003
5412003
Can recursive bisection alone produce routable placements?
AE Caldwell, AB Kahng, IL Markov
Proceedings of the 37th annual design automation conference, 477-482, 2000
4622000
Fixed-outline floorplanning: Enabling hierarchical design
SN Adya, IL Markov
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on 11 (6 …, 2003
4362003
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits
S Krishnaswamy, GF Viamontes, IL Markov, JP Hayes
ACM Transactions on Design Automation of Electronic Systems (TODAES) 13 (1), 8, 2008
410*2008
Synthesis of quantum-logic circuits
VV Shende, SS Bullock, IL Markov
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
3842006
VLSI physical design: from graph partitioning to timing closure
AB Kahng, J Lienig, IL Markov, J Hu
Springer Science & Business Media, 2011
2812011
Solving difficult instances of Boolean satisfiability in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
281*2003
Limits on fundamental limits to computation
IL Markov
Nature 512 (7513), 147-154, 2014
2732014
Watermarking techniques for intellectual property protection
AB Kahng, J Lach, WH Mangione-Smith, S Mantik, IL Markov, ...
Proceedings of the 35th annual Design Automation Conference, 776-781, 1998
2531998
Synthesis and optimization of reversible circuits—a survey
M Saeedi, IL Markov
ACM Computing Surveys (CSUR) 45 (2), 1-34, 2013
2392013
Generic ILP versus specialized 0-1 ILP: an update
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002
2282002
Fault testing for reversible circuits
KN Patel, JP Hayes, IL Markov
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
2132004
Shatter: Efficient symmetry-breaking for boolean satisfiability
FA Aloul, IL Markov, KA Sakallah
Proc. 40th IEEE/ACM Design Automation Conference (DAC), 836-839, 2003
210*2003
Simulating quantum computation by contracting tensor networks
IL Markov, Y Shi
SIAM Journal on Computing 38 (3), 963-981, 2008
2092008
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
Computers, IEEE Transactions on 55 (5), 549-558, 2006
2072006
Constraint-based watermarking techniques for design IP protection
AB Kahng, J Lach, WH Mangione-Smith, S Mantik, IL Markov, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2001
2072001
Unification of partitioning, placement and floorplanning
SN Adya, S Chaturvedi, JA Roy, DA Papa, IL Markov
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004
193*2004
Reversible logic circuit synthesis
VV Shende, AK Prasad, IL Markov, JP Hayes
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002
1922002
SimPL: An effective placement algorithm
MC Kim, DJ Lee, IL Markov
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2012
1852012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20