Contents of Chapter 2: Computer Aided Design for VLSI

The EECS Research Summary for 2003

[Contents]
Title Author(s) Professor(s)
Conflict-driven Learning in a 0-1 ILP Solver Donald Chai Robert K. Brayton
Andreas Kuehlmann
Fishbone: A Block-level Placement and Routing Scheme Fan Mo Robert K. Brayton
PLA-based Regular Structures and Their Synthesis Fan Mo Robert K. Brayton
MVSIS Jie-Hong Jiang
Yunjian Jiang
Yinghua Li
Donald Chai
Alan Mishchenko
Tiziano Villa 		Robert K. Brayton
Reducing Multi-Valued Algebraic Operations to Binary Jie-Hong R. Jiang
Alan Mishchenko 		Robert K. Brayton
Sequential Equivalence Verification in the Sum State Space Jie-Hong R. Jiang Robert K. Brayton
Performance Estimation and Floorplanning for Globally Asynchronous Design Philip Chong Robert K. Brayton
Wireplanning in Logic Synthesis Satrajit Chatterjee Robert K. Brayton
Optimal Code Generation for Sequential Logic Yunjian Jiang Robert K. Brayton
Approximate Refinement for Hybrid Systems Arkadeb Ghosal
Marcin Jurdzinski
Rupak Majumdar
Vinayak Prabhu 		Thomas A. Henzinger
The Giotto Programming Language: Scheduling Theory and Helicopter Implementation Benjamin Horowitz Thomas A. Henzinger
Time Safety Analysis of Embedded Programs Christoph Kirsch
Marco Sanvido
Slobodan Matic 		Thomas A. Henzinger
Mapping Concurrent Applications onto Architectural Platforms Andrew Mihal Kurt Keutzer
Identification of Architectural Bottlenecks in Programming Network Processors Chidamber Kulkarni
Christian Sauer
Matthias Gries 		Kurt Keutzer
Programmable Peripherals Christian Sauer
Chidamber Kulkarni
Matthias Gries 		Kurt Keutzer
Closing the Gap between ASIC and Custom Power David Chinnery Kurt Keutzer
Globally Optimal Power Minimization with Multiple Supply Voltages, Multiple Threshold Voltages, and Gate Sizing with Skewed Drive Strengths David Chinnery
Michael Orshansky 		Kurt Keutzer
Low Power Circuit Synthesis for Advanced Manufacturing Technologies David Nguyen
Abhijit Davare
Michael Orshansky 		Kurt Keutzer
Low Power Design Strategies for High Performance ASSPs and ASICs Farhana Sheikh Kurt Keutzer
Tools, Languages, and Compilers for Constraint-based Functional Hardware and Software Design Matthew Moskewicz Kurt Keutzer
Systematically Exploring the Design Space of Network Processors Matthias Gries
Chidamber Kulkarni
Christian Sauer 		Kurt Keutzer
A Probabilistic Model for Static Timing Analysis of Combinational Circuits Michael Orshansky
Kaushik Ravindran 		Kurt Keutzer
A Programming Model for Network Processors Niraj Shah
William Plishker 		Kurt Keutzer
On the Convergence of Switching Windows Computation in the Presence of Crosstalk Noise Pinhong Chen Kurt Keutzer
Refining Switching Window by Time Slots for Crosstalk Noise Calculation Pinhong Chen Kurt Keutzer
Correct by Construction Programmable Platforms Scott Weber Kurt Keutzer
Automation and Optimizations for a Programming Model for Network Processors William Plishker
Niraj Shah 		Kurt Keutzer
Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java Adam Cataldo
Chris Chang
Elaine Cheong
Christopher Hylands
Edward A. Lee
Xiaojun Liu
Steve Neuendorffer
Claudius Ptolemaeus
John Reekie
Mary P. Stewart
James Yeh
Yang Zhao
Haiyang Zheng
Ye Zhou 		Edward A. Lee
TinyGALS: A Programming Model for Event-driven Embedded Systems Elaine Cheong
Jie Liu 		Edward A. Lee
Study of Synchronous Dataflow Haiyang Zheng Edward A. Lee
CAL: A Novel Actor Language Joern Janneck
Chris Chang
Yang Zhao 		Edward A. Lee
Copernicus: Generating Code from Polymorphic Components and Heterogenous Models Stephen Neuendorffer
Christopher Hylands 		Edward A. Lee
An Actor-Oriented Framework for Distributed Software Systems Xiaojun Liu
Yang Zhao 		Edward A. Lee
Component-based Design for Wireless Networked Systems Ye Zhou Edward A. Lee
A Practical and Adaptive Multi-Stroke Symbol Recognition System Heloise Hse A. Richard Newton
Distributed Design Data Management for EDA Mark D. Spiller A. Richard Newton
Hierarchical Power Management for Low-power Reactive Heterogeneous Communication systems Suet-Fei Li Jan M. Rabaey
Interface Synthesis and Verification Roberto Passerone
Jerry Burch
Luca de Alfaro 		Alberto L. Sangiovanni-Vincentelli
Thomas A. Henzinger
Path Categorization Criteria for Static Timing Analysis Alessandra Nardi
Luca Carloni 		Alberto L. Sangiovanni-Vincentelli
Kurt Keutzer
Low Power Network Discovery Methods for Sensor Networks Abhijit Davare
David Nguyen
Farinaz Koushanfar 		Alberto L. Sangiovanni-Vincentelli
Upper Bound Estimation for the Noise Current Spectrum of Digital Circuit Blocks Alessandra Nardi
Luca Daniel 		Alberto L. Sangiovanni-Vincentelli
Ulysses: Protocol Synthesis from Scenario-based Specifications Alvise Bonivento
Marco Sgroi 		Alberto L. Sangiovanni-Vincentelli
DRAFTS: Distributed Real-Time Applications Fault Tolerant Scheduling Claudio Pinello Alberto L. Sangiovanni-Vincentelli
The Fault Tolerant Data Flow platform in Metropolis Claudio Pinello
Yosinori Watanabe 		Alberto L. Sangiovanni-Vincentelli
CAMA: A Multi-Valued Satisfiability Solver Cong Liu
Andreas Kuehlmann
Matthew W. Moskewicz 		Alberto L. Sangiovanni-Vincentelli
Analog Platforms for Analog System-level Design Fernando De Bernardinis Alberto L. Sangiovanni-Vincentelli
Metropolis SystemC-based Simulator Guang Yang
Daniele Gasperini
Douglas Densmore
John Moondanos
Yosinori Watanabe 		Alberto L. Sangiovanni-Vincentelli
Constraint-driven Synthesis of System-on-a-Chip Communication Architectures Luca Carloni
Alessandro Pinto 		Alberto L. Sangiovanni-Vincentelli
Coping with Latency in System-on-a-Chip Design Luca Carloni Alberto L. Sangiovanni-Vincentelli
The Theory of Latency Insensitive Design Luca Carloni
Kenneth L. McMillan 		Alberto L. Sangiovanni-Vincentelli
Simulation Techniques for Electromagnetic Interference (EMI) and Signal Integrity (SI) in High-Speed Electronic Circuits Luca Daniel
Jacob White 		Alberto L. Sangiovanni-Vincentelli
Synthesis of Robust Control Systems with Computation Constraints Luigi Palopoli
Claudio Pinello
Antonio Bicchi 		Alberto L. Sangiovanni-Vincentelli
Interaction Between Heterogeneous Models: A Formal Approach Roberto Passerone
Alessandro Pinto 		Alberto L. Sangiovanni-Vincentelli
Semantic Foundations for Heterogeneous Systems Roberto Passerone
Jerry Burch 		Alberto L. Sangiovanni-Vincentelli
Communication-driven Hardware Synthesis: A New Processor Design Methodology Trevor Meyerowitz Alberto L. Sangiovanni-Vincentelli
Communication-based Analog Design Yanmei Li
Fernando De Bernardinis 		Alberto L. Sangiovanni-Vincentelli