A. Mihal

Developing Architectural Platforms: A Disciplined Approach

Sharad Malik, Matthew W. Moskewicz, Kurt Keutzer, 2002, IEEE Des. Test Comput..

Chapter 3 MAPPING CONCURRENT APPLICATIONS ONTO ARCHITECTURAL PLATFORMS

K. Keutzer, A. Mihal, 2002 .

AN ANALYSIS AND CLASSIFICATION OF SYSTEM LEVEL DESCRIPTION LANGUAGES

A. Mihal, 1999 .

Successfully Deploying the ASIP

Matthew W. Moskewicz, Kurt Keutzer, Christian Sauer, 2005 .

Mapping Concurrent Applications onto Architectural Platforms

Kurt Keutzer, Andrew Mihal, K. Keutzer, 2003, Networks on Chip.

Addressing the system-on-a-chip interconnect woes through communication-based design

Alberto L. Sangiovanni-Vincentelli, Sharad Malik, Kurt Keutzer, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

A Constraint Satisfaction Approach for Programmable Logic Detailed Placement

Andrew Mihal, Steve Teig, A. Mihal, 2013, SAT.

A Di ff erence Logic Formulation and SMT Solver for Timing-Driven Placement

Andrew Mihal, A. Mihal, 2013 .

A Disciplined Approach to the Development of Architectural Platforms

Sharad Malik, Kurt Keutzer, Christian Sauer, 2002 .

A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property

Edward A. Lee, Thomas Huining Feng, Adam Cataldo, 2006 .

A Processing Element and Programming Methodology for Click Elements

K. Keutzer, A. Mihal, 2005 .