Igor L. Markov

发表

Protecting bus-based hardware IP by secret sharing

Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Generic ILP versus specialized 0-1 ILP: an update

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

Optimal partitioners and end-case placers for standard-cell layout

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Circuit Placement

Igor L. Markov, Andrew A. Kennings, A. Kennings, 2008, Encyclopedia of Algorithms.

Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 1999, ALENEX.

Optimal partitioners and end-case placers for standard-cell layout

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 1999, ISPD '99.

Min-cut floorplacement

Jarrod A. Roy, Igor L. Markov, Saurabh N. Adya, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Gate Modeling and Circuit Simulation

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Tracking Uncertainty with Probabilistic Logic Circuit Testing

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2007, IEEE Design & Test of Computers.

Benchmarking for large-scale placement and beyond

Igor L. Markov, Patrick H. Madden, Paul G. Villarrubia, 2004, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Web-based frameworks to enable CAD R&D (abstract)

Olivier Coudert, Christoph Meinel, Igor L. Markov, 2000, DAC.

On legalization of row-based placements

Andrew B. Kahng, Igor L. Markov, Sherief Reda, 2004, GLSVLSI '04.

Random Stimulus Generation using Entropy and XOR Constraints

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, 2008, 2008 Design, Automation and Test in Europe.

Improved a priori interconnect predictions and technology extrapolation in the GTX system

Yu Cao, Dennis Sylvester, Andrew B. Kahng, 2003, IEEE Trans. Very Large Scale Integr. Syst..

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies pdf

Igor L. Markov, Karem A. Sakallah, Hadi Katebi, 2012, Turing-100.

Accurate reliability evaluation and enhancement via probabilistic transfer matrices

John P. Hayes, Igor L. Markov, George F. Viamontes, 2005, Design, Automation and Test in Europe.

Fast equivalence-checking for quantum circuits

Igor L. Markov, Shigeru Yamashita, I. Markov, 2009, 2010 IEEE/ACM International Symposium on Nanoscale Architectures.

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm

Igor L. Markov, Gi-Joon Nam, Charles J. Alpert, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

On the CNOT-cost of TOFFOLI gates

Igor L. Markov, Vivek V. Shende, I. Markov, 2008, Quantum Inf. Comput..

Checking Equivalence of States and Circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Logic synthesis and circuit customization using extensive external don't-cares

Igor L. Markov, Alan Mishchenko, Kai-Hui Chang, 2010, TODE.

On bottleneck analysis in stochastic stream processing

Igor L. Markov, Raj Rao Nadakuditi, I. Markov, 2013, TODE.

Asymptotically optimal circuits for arbitrary n-qubit diagonal comutations

Igor L. Markov, Stephen S. Bullock, I. Markov, 2004, Quantum Inf. Comput..

Automating post-silicon debugging and repair

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2007, ICCAD 2007.

Contango: Integrated optimization of SoC clock networks

Dongjin Lee, Igor L. Markov, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Obstacle-Aware Clock-Tree Shaping During Placement

Dongjin Lee, Igor L. Markov, 2012, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

ECO-system: Embracing the Change in Placement

Jarrod A. Roy, Igor L. Markov, I. Markov, 2007, 2007 Asia and South Pacific Design Automation Conference.

Massively Parallel Approximate Simulation of Hard Quantum Circuits

Igor L. Markov, Sergei V. Isakov, Aneeqa Fatima, 2020, 2020 57th ACM/IEEE Design Automation Conference (DAC).

System-Level Design

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

Breaking instance-independent symmetries in exact graph coloring

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

RTL to GDSII, or Synthesis, Place, and Route

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

Impact of Future Technologies on Architecture

Trevor N. Mudge, Igor L. Markov, Derek Chiou, 2016, IEEE Micro.

Physical Synthesis with Clock-Network Optimization for Large Systems on Chips

Igor L. Markov, Natarajan Viswanathan, Gi-Joon Nam, 2011, IEEE Micro.

Probabilistic transfer matrices in symbolic reliability analysis of logic circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2008, TODE.

Counterexample-Guided Error-Repair Framework

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

CRISP: Congestion reduction by iterated spreading during placement

Jarrod A. Roy, Igor L. Markov, Natarajan Viswanathan, 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

Faster Schrödinger-style simulation of quantum circuits pdf

Igor L. Markov, Aneeqa Fatima, I. Markov, 2020, 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).

MAPLE: multilevel adaptive placement for mixed-size designs

Igor L. Markov, Shyam Ramji, Natarajan Viswanathan, 2012, ISPD '12.

Energy-Efficient Abundant-Data Computing: The N3XT 1,000x

Kunle Olukotun, Franz Franchetti, Jan M. Rabaey, 2015, Computer.

Capo: Congestion-Driven Placement for Standard-cell and RTL Netlists with Incremental Capability

Jarrod A. Roy, Igor L. Markov, David A. Papa, 2007, Modern Circuit Placement.

Reversible logic circuit synthesis

John P. Hayes, Igor L. Markov, Vivek V. Shende, 2002, IWLS.

AMUSE: a minimally-unsatisfiable subformula extractor

Igor L. Markov, Karem A. Sakallah, Yoonna Oh, 2004, Proceedings. 41st Design Automation Conference, 2004..

Synthesis of reversible logic circuits

John P. Hayes, Igor L. Markov, Vivek V. Shende, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

The coming of age of (academic) global routing

Jarrod A. Roy, Igor L. Markov, Michael D. Moffitt, 2008, ISPD '08.

Fixed-outline floorplanning: enabling hierarchical design

Igor L. Markov, Saurabh N. Adya, I. Markov, 2003, IEEE Trans. Very Large Scale Integr. Syst..

Improving Min-cut Placement for VLSI Using Analytical Techniques

Igor L. Markov, Paul G. Villarrubia, Saurabh N. Adya, 2003 .

Relaxed partitioning balance constraints in top-down placement

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 1998, Proceedings Eleventh Annual IEEE International ASIC Conference (Cat. No.98TH8372).

Physically-Driven Logic Restructuring

Igor L. Markov, David A. Papa, 2013 .

Node Mergers in the Presence of Don't Cares

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, 2007 Asia and South Pacific Design Automation Conference.

Graph-based simulation of quantum computation in the density matrix representation

John P. Hayes, Igor L. Markov, George F. Viamontes, 2004, SPIE Defense + Commercial Sensing.

On the role of timing masking in reliable logic circuit design

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Symmetry-Based Rewiring

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Technology Computer-Aided Design

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

A Practical Top-down Approach to Quantum Circuit Synthesis

Igor L. Markov, Stephen S. Bullock, Vivek Shende, 2004 .

ECO-System: Embracing the Change in Placement

Jarrod A. Roy, Igor L. Markov, 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Methodologies for Spare-Cell Insertion

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

On-Chip Test Generation Using Linear Subspaces

John P. Hayes, Igor L. Markov, Ramashis Das, 2006, Eleventh IEEE European Test Symposium (ETS'06).

Dynamic symmetry-breaking for improved Boolean optimization

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2005, ASP-DAC.

Improved algorithms for hypergraph bipartitioning

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2000, ASP-DAC '00.

Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2009, Lecture Notes in Electrical Engineering.

Assembling 2D blocks into 3D chips

Igor L. Markov, Jens Lienig, Johann Knechtel, 2011, ISPD '11.

Post-Silicon Debugging and Layout Repair

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Getting Your Bits in Order

Igor L. Markov, 2011, IEEE Design & Test of Computers.

Postplacement rewiring by exhaustive search for functional symmetries

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2008, TODE.

Partitioning with terminals: a “new” problem and new benchmarks

Andrew B. Kahng, Igor L. Markov, Charles J. Alpert, 1999, ISPD '99.

Conflict Anticipation in the Search for Graph Automorphisms

Igor L. Markov, Karem A. Sakallah, Hadi Katebi, 2012, LPAR.

Overcoming Resolution-Based Lower Bounds for SAT Solvers

Igor L. Markov, DoRon B. Motter, 2002, IWLS.

Error-correction and crosstalk avoidance in DSM busses

Igor L. Markov, Ketan N. Patel, 2004, IEEE Trans. Very Large Scale Integr. Syst..

Enhancing design robustness with reliability-aware resynthesis and logic simulation

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

Watermarking techniques for intellectual property protection

Miodrag Potkonjak, Andrew B. Kahng, Igor L. Markov, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

High-Performance Routing at the Nanometer Scale

Jarrod A. Roy, Igor L. Markov, 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

Igor L. Markov, Karem A. Sakallah, Hadi Katebi, 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

Current Landscape in Design and Verification

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Impact of interoperability on CAD-IP reuse: an academic viewpoint

Andrew B. Kahng, Igor L. Markov, 2003, Fourth International Symposium on Quality Electronic Design, 2003. Proceedings..

Taming the complexity of coordinated place and route

Jin Hu, Igor L. Markov, Myung-Chul Kim, 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

Probabilistic Transfer Matrices

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

Summary and Extensions

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

Data structures and algorithms for simplifying reversible circuits

John P. Hayes, Igor L. Markov, Vivek V. Shende, 2006, JETC.

PBS: A Backtrack-Search Pseudo-Boolean Solver and Optimizer

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2000 .

On Whitespace and Stability in Mixed-Size Placement and Physical Synthesis

Igor L. Markov, Paul G. Villarrubia, Saurabh N. Adya, 2003, ICCAD 2003.

Bounded Transactional Timing Analysis

Igor L. Markov, David A. Papa, 2013 .

Customizing IP cores for system-on-chip designs using extensive external don't-cares

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Ending Piracy of Integrated Circuits

Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov, 2010, Computer.

Assembling 2-D Blocks Into 3-D Chips

Igor L. Markov, Jens Lienig, Johann Knechtel, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Faster Quantum Number Factoring via Circuit Synthesis pdf

Igor L. Markov, Mehdi Saeedi, I. Markov, 2013, ArXiv.

On whitespace and stability in mixed-size placement and physical synthesis

Igor L. Markov, Paul G. Villarrubia, Saurabh N. Adya, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

ShatterPB: symmetry-breaking for pseudo-boolean formulas

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).

Toward CAD-IP reuse: a web bookshelf of fundamental algorithms

Igor L. Markov, Andrew E. Caldwell, A. Caldwell, 2002, IEEE Design & Test of Computers.

ClockPUF: Physical Unclonable Functions based on clock networks

Farinaz Koushanfar, Igor L. Markov, Jianmin Li, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Efficient symmetry breaking for Boolean satisfiability

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2003, IEEE Transactions on Computers.

An arbitrary twoqubit computation In 23 elementary gates or less

Igor L. Markov, Stephen S. Bullock, I. Markov, 2003, DAC.

Broadening the Scope of Multi-Objective Optimizations in Physical Synthesis of Integrated Circuits

Igor L. Markov, David A. Papa, D. Papa, 2010 .

Circuit Placement

Igor L. Markov, Andrew A. Kennings, A. Kennings, 2008, Encyclopedia of Algorithms.

On Sub-optimality and Scalability of Logic Synthesis Tools

Jarrod A. Roy, Igor L. Markov, I. Markov, 2003 .

EPIC: Ending Piracy of Integrated Circuits

Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov, 2008, 2008 Design, Automation and Test in Europe.

Optimal synthesis of linear reversible circuits

John P. Hayes, Igor L. Markov, Ketan N. Patel, 2008, Quantum Inf. Comput..

Fixed-outline floorplanning through better local search

Igor L. Markov, Saurabh N. Adya, I. Markov, 2001, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.

Automating Postsilicon Debugging and Repair

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, Computer.

Combining Two Local Search Approaches to Hypergraph Partitioning

Igor L. Markov, Arathi Ramani, 2003, IJCAI.

Improving Gate-Level Simulation of Quantum Circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2003, Quantum Inf. Process..

High-Performance Routing at the Nanometer Scale

Jarrod A. Roy, Igor L. Markov, 2008, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Reap what you sow: spare cells for post-silicon metal fix

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2008, ISPD '08.

Exploiting structure in symmetry detection for CNF

Igor L. Markov, Karem A. Sakallah, Mark H. Liffiton, 2004, Proceedings. 41st Design Automation Conference, 2004..

Hybrid Techniques for Quantum Circuit Simulation

John P. Hayes, Igor L. Markov, J. Hayes, 2014 .

Solution and Optimization of Systems of Pseudo-Boolean Constraints

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2007, IEEE Transactions on Computers.

Function smoothing with applications to VLSI layout

Andrew B. Kahng, Igor L. Markov, Andrew A. Kennings, 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

Uniformly-switching logic for cryptographic hardware

Dmitri Maslov, Igor L. Markov, 2005, Design, Automation and Test in Europe.

Special issue on System-Level Interconnect Prediction

Igor L. Markov, Dirk Stroobandt, Louis Scheffer, 2007, Integr..

On the decreasing significance of large standard cells in technology mapping

David Blaauw, Dennis Sylvester, Igor L. Markov, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.

Sidewinder: a scalable ILP-based router

Jin Hu, Jarrod A. Roy, Igor L. Markov, 2008, SLIP '08.

MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2004, J. Univers. Comput. Sci..

Completing high-quality global routes

Jin Hu, Jarrod A. Roy, Igor L. Markov, 2010, ISPD '10.

A SimPLR method for routability-driven placement

Jin Hu, Dongjin Lee, Igor L. Markov, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Multilevel tree fusion for robust clock networks

Dongjin Lee, Igor L. Markov, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Quantum Circuit Simulation

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Is quantum search practical?

John P. Hayes, Igor L. Markov, George F. Viamontes, 2005, Computing in Science & Engineering.

SimPL: An effective placement algorithm

Dongjin Lee, Igor L. Markov, Myung-Chul Kim, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Constraint-driven floorplan repair

Igor L. Markov, Martha E. Pollack, Michael D. Moffitt, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Quipu: High-performance simulation of quantum circuits using stabilizer frames

Igor L. Markov, Héctor J. García, 2013, 2013 IEEE 31st International Conference on Computer Design (ICCD).

Quantum Approaches to Logic Circuit Synthesis and Testing

John P. Hayes, Igor L. Markov, J. Hayes, 2006 .

Consistent placement of macro-blocks using floorplanning and standard-cell placement

Igor L. Markov, Saurabh N. Adya, 2002, ISPD '02.

Min-max placement for large-scale timing optimization

Andrew B. Kahng, Igor L. Markov, Stefanus Mantik, 2002, ISPD '02.

Incremental Verification for Physical Synthesis

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

High-performance QuIDD-based simulation of quantum circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm

Igor L. Markov, Gi-Joon Nam, Charles J. Alpert, 2008, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

The nature of optimization problem challenges in physical synthesis

Ismail Bustany, Igor L. Markov, Martin Wong, 2013, 2013 American Control Conference.

Generic Circuit Simulation Techniques

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Solving modern mixed-size placement instances

Jarrod A. Roy, Igor L. Markov, Rajat Aggarwal, 2009, Integr..

Resolution cannot polynomially simulate compressed-BFS

Jarrod A. Roy, Igor L. Markov, DoRon B. Motter, 2004, Annals of Mathematics and Artificial Intelligence.

Improving testability and soft-error resilience through retiming

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Multi-Objective Optimization in Physical Synthesis of Integrated Circuits

Igor L. Markov, David A. Papa, 2013, Lecture Notes in Electrical Engineering.

International Workshop on System Level Interconnect Prediction, SLIP: Foreword

Igor L. Markov, I. Markov, 2005 .

Enhancing design robustness with reliability-aware resynthesis and logic simulation

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2007, ICCAD 2007.

Timing Closure for Multi-Million-Gate Integrated Circuits

Igor L. Markov, David A. Papa, 2013 .

Solving difficult instances of Boolean satisfiability in the presence of symmetry

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Securely Sealing Multi-FPGA Systems

Tim Güneysu, Igor L. Markov, André Weimerskirch, 2012, ARC.

Improving the efficiency of circuit-to-BDD conversion by gate and input ordering

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Design and implementation of move-based heuristics for VLSI hypergraph partitioning

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2000, JEAL.

Utility of the OpenAccess database in academic research

Igor L. Markov, David A. Papa, Philip Chong, 2006, Asia and South Pacific Conference on Design Automation, 2006..

FPGA Synthesis and CAD for Reconfigurable Systems

Luca Benini, Stephen A. Edwards, Yunheung Paek, 2009 .

Toward a Software Architecture for Quantum Computing Design Tools

Alfred V. Aho, Igor L. Markov, Isaac L. Chuang, 2004 .

Limits on fundamental limits to computation

Igor L. Markov, I. Markov, 2014, Nature.

Progress and challenges in VLSI placement research

Jin Hu, Igor L. Markov, Myung-Chul Kim, 2015, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Obstacle-Aware Clock-Tree Shaping During Placement

Dongjin Lee, Igor L. Markov, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation

Robert Wille, Igor L. Markov, Stefan Hillmich, 2020, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Signature-Based Reliability Analysis

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

State of the Art in Physical Synthesis

Igor L. Markov, David A. Papa, 2013 .

Constant-optimized quantum circuits for modular multiplication and exponentiation pdf

Igor L. Markov, Mehdi Saeedi, I. Markov, 2012, Quantum Inf. Comput..

Faster symmetry discovery using sparsity of symmetries

Igor L. Markov, Karem A. Sakallah, Paul T. Darga, 2008, 2008 45th ACM/IEEE Design Automation Conference.

GTX: the MARCO GSRC technology extrapolation system

Yu Cao, Dennis Sylvester, Andrew B. Kahng, 2000, Proceedings 37th Design Automation Conference.

Netlist and System Partitioning

Andrew B. Kahng, Igor L. Markov, Jens Lienig, 2011 .

Signature-Based SER Analysis and Design of Logic Circuits

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Satisfying whitespace requirements in top-down placement

Jarrod A. Roy, Igor L. Markov, David A. Papa, 2006, ISPD '06.

Boosting: min-cut placement with improved signal delay

Andrew B. Kahng, Igor L. Markov, Sherief Reda, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Automating Postsilicon Debugging and Repair

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2008, Computer.

Synthesis and optimization of reversible circuits—a survey pdf

Igor L. Markov, Mehdi Saeedi, I. Markov, 2011, CSUR.

Approximation of Quantum States Using Decision Diagrams

Robert Wille, Igor L. Markov, Alwin Zulehner, 2020, 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

Hybrid Techniques for Optimizing Complex Systems

John P. Hayes, Igor L. Markov, J. Hayes, 2009 .

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

Incremental Verification with Error Detection, Diagnosis, and Visualization

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2009, IEEE Design & Test of Computers.

Testing Logic Circuits for Probabilistic Faults

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

FORCE: a fast and easy-to-implement variable-ordering heuristic

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2003, GLSVLSI '03.

ECO-system: Embracing the Change in Placement

Jarrod A. Roy, Igor L. Markov, 2007 .

Automatically Exploiting Symmetries in Constraint Programming

Igor L. Markov, Arathi Ramani, 2004, CSCLP.

Finding Bugs and Repairing Circuits

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Progress and Challenges in VLSI Placement Research

Jin Hu, Igor L. Markov, Myung-Chul Kim, 2012, Proceedings of the IEEE.

Toward CAD-IP Reuse: The MARCO GSRC Bookshelf of Fundamental CAD Algorithms

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2002 .

Are floorplan representations important in digital design?

Igor L. Markov, Saurabh N. Adya, Hayward H. Chan, 2005, ISPD '05.

Know your limits (review of "limits to parallel computation: p-completeness theory"; greenlaw, r., et al; 1995) [book review]

Igor L. Markov, 2013, IEEE Design & Test.

Smaller two-qubit circuits for quantum communication and computation

Igor L. Markov, Vivek V. Shende, Stephen S. Bullock, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Reversible logic circuit synthesis

John P. Hayes, Igor L. Markov, Vivek V. Shende, 2002, IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..

Multiobjective optimization of deadspace, a critical resource for 3D-IC integration

Igor L. Markov, Jens Lienig, Matthias Thiele, 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Bug Trace Minimization

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

VLSI Physical Design - From Graph Partitioning to Timing Closure

Igor L. Markov, Jens Lienig, Andrew B. Kahng, 2011 .

Combinatorial techniques for mixed-size placement

Igor L. Markov, Saurabh N. Adya, 2005, TODE.

Logic Restructuring as an Aid to Physical Retiming

Igor L. Markov, David A. Papa, 2013 .

Improving QuIDD-based Simulation

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Large-scale Boolean matching

Igor L. Markov, Hadi Katebi, I. Markov, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Symmetry breaking for pseudo-Boolean formulas

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2008, JEAL.

Error-correction and crosstalk avoidance in DSM busses

Igor L. Markov, Ketan N. Patel, 2003, SLIP '03.

ComPLx: A competitive primal-dual Lagrange optimization for global placement

Igor L. Markov, Myung-Chul Kim, I. Markov, 2012, DAC Design Automation Conference 2012.

SimPL: An Effective Placement Algorithm

Dongjin Lee, Igor L. Markov, Myung-Chul Kim, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Faster minimization of linear wirelength for global placement

Andrew B. Kahng, Igor L. Markov, Tony F. Chan, 1997, ISPD '97.

Top-down timing-driven placement with direct minimization of maximal signal delay

Andrew B. Kahng, Igor L. Markov, 2001 .

On wirelength estimations for row-based placement

Andrew B. Kahng, Igor L. Markov, Alex Zelikovsky, 1998, ISPD '98.

Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

On wirelength estimations for row-based placement

Andrew B. Kahng, Igor L. Markov, Alex Zelikovsky, 1998, ISPD '98.

Low-power clock trees for CPUs

Dongjin Lee, Igor L. Markov, Myung-Chul Kim, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Master numerical tasks with ease [review of Advanced Excel for Scientific Data Analysis, 2nd ed. (de Levie, R.; 2008)] [Book reviews]

Igor L. Markov, 2010, IEEE Design & Test of Computers.

Chips in 3D

Igor L. Markov, 2010, IEEE Design & Test of Computers.

On the decreasing significance of large standard cells in technology mapping

David Blaauw, Dennis Sylvester, Igor L. Markov, 2008, ICCAD 2008.

Hypergraph partitioning for VLSI CAD: methodology for heuristic development, experimentation and reporting

Andrew B. Kahng, Igor L. Markov, Andrew A. Kennings, 1999, DAC '99.

Benchmarking for large-scale placement and beyond

Igor L. Markov, Patrick H. Madden, Paul G. Villarrubia, 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Faster SAT and smaller BDDs via common function structure

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

The Seventh International Workshop on System-Level Interconnect Prediction (SLIP 2005), San Francisco, CA, USA, April 2-3, 2005, Proceedings

Igor L. Markov, Michael D. Hutton, I. Markov, 2005, SLIP.

RTL analysis and modifications for improving at-speed test

Igor L. Markov, Hong-Zu Chou, Kai-Hui Chang, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Gate Sizing During Timing-Driven Placement

Igor L. Markov, David A. Papa, I. Markov, 2013 .

Partitioning-Based Methods

Jarrod A. Roy, Igor L. Markov, I. Markov, 2008, Handbook of Algorithms for Physical Design Automation.

Solving the Third-Shift Problem in IC Piracy With Test-Aware Logic Locking

Igor L. Markov, Stephen M. Plaza, I. Markov, 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Book Review: A physical-design picture book

Igor L. Markov, 2009, IEEE Design & Test of Computers.

A Compressed Breadth-First Search for Satisfiability

Igor L. Markov, DoRon B. Motter, Doron B. Motter, 2002, ALENEX.

High-performance gate sizing with a signoff timer

Andrew B. Kahng, Igor L. Markov, Seokhyeong Kang, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Just Like the Real Thing: Fast Weak Simulation of Quantum Computation

Robert Wille, Igor L. Markov, Stefan Hillmich, 2020, 2020 57th ACM/IEEE Design Automation Conference (DAC).

Simulating Quantum Computation by Contracting Tensor Networks

Igor L. Markov, Yaoyun Shi, 2008, SIAM J. Comput..

Hierarchical whitespace allocation in top-down placement

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Solving difficult SAT instances in the presence of symmetry

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).

A review of "Memcomputing NP-complete problems in polynomial time using polynomial resources" (arXiv: 1411.4798) pdf

Igor L. Markov, I. Markov, 2014, ArXiv.

Optimal die placement for interposer-based 3D ICs

Igor L. Markov, Jens Lienig, Sergii Osmolovskyi, 2018, 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC).

Synthesis and Verification of Digital Circuits using Functional Simulation and Boolean Satisfiability

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, 2008 .

Fixing Design Errors with Counterexamples and Resynthesis

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2007 .

Unification of partitioning, placement and floorplanning

Jarrod A. Roy, Igor L. Markov, Saurabh N. Adya, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Analytical Engines are Unnecessary in Top-down Partitioning-based Placement

Andrew B. Kahng, Igor L. Markov, Tony F. Chan, 1999, VLSI Design.

State-Vector Simulation with Decision Diagrams

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

CAD Tool Development for Multi-Million Gate Designs

Jarrod A. Roy, Igor L. Markov, David A. Papa, 2005 .

Co-Optimization of Latches and Clock Networks

Igor L. Markov, David A. Papa, 2013 .

Buffer Insertion During Timing-Driven Placement

Igor L. Markov, David A. Papa, I. Markov, 2013 .

Simulation-based bug trace minimization with BMC-based refinement

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

Analog and Mixed-Signal Design

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

Robust IP watermarking methodologies for physical design

Miodrag Potkonjak, Andrew B. Kahng, Igor L. Markov, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Simulation-based bug trace minimization with BMC-based refinement

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2005, ICCAD 2005.

Constraint-based watermarking techniques for design IP protection

Miodrag Potkonjak, Andrew B. Kahng, Igor L. Markov, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Checking equivalence of quantum circuits and states

John P. Hayes, Igor L. Markov, George F. Viamontes, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

Quantum Supremacy Is Both Closer and Farther than It Appears pdf

Igor L. Markov, Sergio Boixo, Aneeqa Fatima, 2018, ArXiv.

Constructive benchmarking for placement

Igor L. Markov, Saurabh N. Adya, David A. Papa, 2004, GLSVLSI '04.

Post-placement rewiring and rebuffering by exhaustive search for functional symmetries

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

On the geometry of stabilizer states

Igor L. Markov, Andrew W. Cross, Héctor J. García, 2014, Quantum Inf. Comput..

Efficient Optimization by Modifying the Objective Function: Applications to Timing-Driven

Andrew B. Kahng, Igor L. Markov, R. Baldick, 2001 .

Automatic error diagnosis and correction for RTL designs

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, 2007 IEEE International High Level Design Validation and Test Workshop.

“Scaling” the impact of EDA education Preliminary findings from the CCC workshop series on extreme scale design automation

Alex K. Jones, Igor L. Markov, Diana Marculescu, 2013, 2013 IEEE International Conference on Microelectronic Systems Education (MSE).

Signature-Based Resynthesis Techniques

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Circuit Design and Verification Methodologies

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Unification of partitioning, placement and floorplanning

Jarrod A. Roy, Igor L. Markov, Saurabh N. Adya, 2004, ICCAD 2004.

On the costs and benefits of stochasticity in stream processing

Igor L. Markov, Raj Rao Nadakuditi, I. Markov, 2010, Design Automation Conference.

High-performance Energy Minimization with Applications to Adiabatic Quantum Computing pdf

Igor L. Markov, Héctor J. García, I. Markov, 2009, ArXiv.

Quadratic placement revisited

Igor L. Markov, Tony F. Chan, Charles J. Alpert, 1997, DAC.

Safe Delay Optimization for Physical Synthesis

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, 2007 Asia and South Pacific Design Automation Conference.

Broadening the Scope of Optimization Using Partitioning

Igor L. Markov, David A. Papa, 2013 .

Unification of vlsi placement and floorplanning

Igor L. Markov, Saurabh N. Adya, 2004 .

Efficient Inner-product Algorithm for Stabilizer States pdf

Igor L. Markov, Andrew W. Cross, Héctor J. García, 2012, ArXiv.

On whitespace and stability in physical synthesis

Igor L. Markov, Paul G. Villarrubia, Saurabh N. Adya, 2006, Integr..

Practical slicing and non-slicing block-packing without simulated annealing

Igor L. Markov, Hayward H. Chan, H. H. Chan, 2004, GLSVLSI '04.

Toward quality EDA tools and tool flows through high-performance computing

Igor L. Markov, Aaron N. Ng, I. Markov, 2005, Sixth international symposium on quality electronic design (isqed'05).

Seeing the Forest and the Trees: Steiner Wirelength Optimization in Placement

Jarrod A. Roy, Igor L. Markov, James F. Lu, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Smaller Circuits for Arbitrary n-qubit Diagonal Computations

Igor L. Markov, Stephen S. Bullock, 2003 .

Can recursive bisection alone produce routable, placements?

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2000, Proceedings 37th Design Automation Conference.

Computing with Probabilistic Transfer Matrices

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

Capo: robust and scalable open-source min-cut floorplacer

Jarrod A. Roy, Igor L. Markov, Saurabh N. Adya, 2005, ISPD '05.

The Sixth International Workshop on System-Level Interconnect Prediction (SLIP 2004), Paris, France, February 14-15, 2004, Proceedings

Igor L. Markov, Louis K. Scheffer, I. Markov, 2004, SLIP.

InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, 8th International Symposium on Quality Electronic Design (ISQED'07).

Implications of area-array I/O for row-based placement methodology

Andrew B. Kahng, Igor L. Markov, Stefanus Mantik, 1998, Proceedings. 1998 IEEE Symposium on IC/Package Design Integration (Cat. No.98CB36211).

Electronic Design Automation for IC System Design, Verification, and Testing

Luciano Lavagno, Igor L. Markov, Grant Martin, 2016 .

Iterative Partitioning with Varying Node Weights

Andrew B. Kahng, Igor L. Markov, Andrew E. Caldwell, 2000, VLSI Design.

Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, 2008, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Hypergraph Partitioning and Clustering

Igor L. Markov, David A. Papa, I. Markov, 2007, Handbook of Approximation Algorithms and Metaheuristics.

Workshops on Extreme Scale Design Automation (ESDA) Challenges and Opportunities for 2025 and Beyond pdf

Alex K. Jones, Igor L. Markov, Diana Marculescu, 2020, ArXiv.

Gate-level simulation of quantum circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2003, ASP-DAC '03.

Constant-Degree Graph Expansions that Preserve Treewidth

Igor L. Markov, Yaoyun Shi, 2009, Algorithmica.

Fixing Design Errors with Counterexamples and Resynthesis

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2007, 2007 Asia and South Pacific Design Automation Conference.

Protecting integrated circuits from piracy with test-aware logic locking

Igor L. Markov, Stephen M. Plaza, 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Quantum circuits for incompletely specified two-qubit operators

Igor L. Markov, Vivek V. Shende, I. Markov, 2004, Quantum Inf. Comput..

Design, Analysis and Test of Logic Circuits Under Uncertainty

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2012, Lecture Notes in Electrical Engineering.

Contango: integrated optimization of SoC clock networks

Igor L. Markov, Dong-Jin Lee, 2010, DATE 2010.

Quantum Circuits for GCD Computation with $O(n \log n)$ Depth and O(n) Ancillae pdf

Igor L. Markov, Mehdi Saeedi, I. Markov, 2013, ArXiv.

Analytical minimization of half-perimeter wirelength

Igor L. Markov, Andrew A. Kennings, A. Kennings, 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

Speeding Up Physical Synthesis with Transactional Timing Analysis

Igor L. Markov, Charles J. Alpert, Michael D. Moffitt, 2010, IEEE Design & Test of Computers.

Early research experience with OpenAccess gear: an open source development environment for physical design

Rob A. Rutenbar, Igor L. Markov, Zhong Xiu, 2005, ISPD '05.

Logic circuit testing for transient faults

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2005, European Test Symposium (ETS'05).

Functional Error Diagnosis and Correction

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2009 .

Special Case: Simulating Stabilizer Circuits

John P. Hayes, Igor L. Markov, George F. Viamontes, 2009 .

Design for Robustness

John P. Hayes, Igor L. Markov, Smita Krishnaswamy, 2013 .

Solving hard instances of floorplacement

Igor L. Markov, Rajat Aggarwal, Venky Ramachandran, 2006, ISPD '06.

Fault testing for reversible circuits

John P. Hayes, Igor L. Markov, Ketan N. Patel, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A layered software architecture for quantum computing design tools

Alfred V. Aho, Igor L. Markov, Andrew W. Cross, 2006, Computer.

SuperPUF: Integrating heterogeneous Physically Unclonable Functions

Igor L. Markov, Andrew Yates, Michael Wang, 2014, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Algorithmic tuning of clock trees and derived non-tree structures

Dongjin Lee, Igor L. Markov, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Spinto: High-performance energy minimization in spin glasses

Igor L. Markov, Héctor J. García, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

SafeResynth: A new technique for physical synthesis

Igor L. Markov, Kai-Hui Chang, Valeria Bertacco, 2008, Integr..

Fault testing for reversible circuits

John P. Hayes, Igor L. Markov, Ketan N. Patel, 2004, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Extended abstract: Circuit CAD tools as a security threat

Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov, 2008, 2008 IEEE International Workshop on Hardware-Oriented Security and Trust.

SimPL: an algorithm for placing VLSI circuits

Dongjin Lee, Igor L. Markov, Myung-Chul Kim, 2013, CACM.

Efficient Gate and Input Ordering for Circuit-to-BDD Conversion

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2002, IWLS.

Faster minimization of linear wirelength for global placement

Andrew B. Kahng, Igor L. Markov, Tony F. Chan, 1997, ISPD '97.

EDA: Synergy or sum of the parts? [review of "Electronic Design Automation: Synthesis, Verification and Test (Systems on Silicon" (Wang, L.-T., Eds., et al; 2009)]

Igor L. Markov, 2011, IEEE Design & Test of Computers.

Fine Control of Local Whitespace in Placement

Jarrod A. Roy, Igor L. Markov, David A. Papa, 2008, VLSI Design.

Sensitivity-guided metaheuristics for accurate discrete gate sizing

Jin Hu, Andrew B. Kahng, Igor L. Markov, 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Finding small two-qubit circuits

Igor L. Markov, Stephen S. Bullock, Vivek Shende, 2004, SPIE Defense + Commercial Sensing.

Symmetry and Satisfiability: An Update

Igor L. Markov, Karem A. Sakallah, Hadi Katebi, 2010, SAT.

Generalized Boolean symmetries through nested partition refinement

Igor L. Markov, Karem A. Sakallah, Hadi Katebi, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Simulation of Quantum Circuits via Stabilizer Frames

Igor L. Markov, Héctor J. García, I. Markov, 2015, IEEE Transactions on Computers.

Dynamic symmetry-breaking for Boolean satisfiability

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2009, Annals of Mathematics and Artificial Intelligence.

Shatter: efficient symmetry-breaking for Boolean satisfiability

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Efficient quantum circuit simulation

John P. Hayes, Igor L. Markov, George F. Viamontes, 2007 .

Seeing the Forest and the Trees: Steiner Wirelength Optimization in Placement

Jarrod A. Roy, Igor L. Markov, 2007, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Detecting Qubit-coupling Faults in Ion-trap Quantum Computers pdf

Igor L. Markov, Andrii O. Maksymov, Jason Nguyen, 2021, 2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA).

Text Ranking and Classification using Data Compression pdf

Igor L. Markov, Nitya Kasturi, 2021, ArXiv.

Bit-efficient Numerical Aggregation and Stronger Privacy for Trust in Federated Analytics pdf

Graham Cormode, Igor L. Markov, Graham Cormode, 2021, ArXiv.

Looper: An end-to-end ML platform for product decisions pdf

Igor L. Markov, Eytan Bakshy, Boshuang Huang, 2021, ArXiv.

On the CNOT-cost of the TOFFOLI gate

Igor L. Markov, 2008 .

Breaking instance-independent symmetries in exact graph coloring

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2004 .

AnSER : A Lightweight Reliability Evaluator for use in Logic Synthesis

Igor L. Markov, Smita Krishnaswamy, John P. Hayes, 2022 .

Toggle : A Coverage-guided Random Stimulus Generator

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, 2007 .

Recognizing small-circuit structure in two-qubit operators (5 pages)

Igor L. Markov, Vivek V. Shende, Stephen S. Bullock, 2003 .

Restoring Circuit Structure from SAT Instances

Jarrod A. Roy, Igor L. Markov, Valeria Bertacco, 2004 .

Minimal Universal Two-Qubit CNOT-based Circuits

Igor L. Markov, Vivek V. Shende, Stephen S. Bullock, 2022 .

Minimal Universal Two-qubit Quantum Circuits

Igor L. Markov, Vivek V. Shende, Stephen S. Bullock, 2003, quant-ph/0308033.

Scalable Simplification of Reversible Circuits

Igor L. Markov, Vivek V. Shende, Aditya K. Prasad, .

Efficient Symmetry Breaking for

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2006 .

Minimal universal two-qubit controlled-NOT-based circuits (8 pages)

Igor L. Markov, Stephen S. Bullock, Vivek Shende, 2004 .

Smoothening Max-terms and Analytical Minimization of Half-Perimeter Wirelength

Igor L. Markov, Andrew A. Kennings, A. Kennings, 2022 .

Arbitrary two-qubit computation in 23 elementary gates

Igor L. Markov, Stephen S. Bullock, 2003, DAC 2003.

Keeping Physical Synthesis Safe and Sound

Igor L. Markov, Valeria Bertacco, Kai-hui Chang, 2022 .

MINCE : A Static Global Variable-Ordering for SAT Search and BDD Manipulation

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2000 .

Checking equivalence of quantum circuits and states

Igor L. Markov, George F. Viamontes, John P. Hayes, 2007, ICCAD 2007.

An Introduction to Reversible Circuits

Igor L. Markov, .

ShatterPB: symmetry-breaking for pseudo-Boolean formulas

Igor L. Markov, Karem A. Sakallah, Arathi Ramani, 2004 .

Low-latency SAT Solving on Multicore Processors with Priority Scheduling and XOR Partitioning

Igor L. Markov, Valeria Bertacco, Stephen M. Plaza, .

SPIRE: A retiming-based physical-synthesis transformation system

Igor L. Markov, David A. Papa, Smita Krishnaswamy, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Symmetries in Rectangular Block-Packing

Igor L. Markov, Hay-Wai Chan, 2003 .

FORCE : A Fast & Easy-t o-Implement Variable-Ordering Heuristic

Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, 2003 .

Hypergraph Partitioning

Igor L. Markov, Ümit V. Çatalyürek, David A. Papa, 2011, Encyclopedia of Parallel Computing.