- On-Chip Communication Design: Roadblocks and Avenues [Invited Talk -Extended Abstract]
- The Best of Both Worlds: The Efficient Asynchronous Implementation of Synchronous Specifications
- Proceedingsof the AmericanControlConference Chicago, Illinois June 2000
- On Thermal Effects in Deep Sub-Micron VLSI Interconnects Kaustav Banerjee' Amit Mehrotra Albert0 Sangiovanni-Vincentelli
- An implicit formulation for exact BDD minimization September 5, 1996
- A Vision for Embedded Software Alberto Sangiovanni-Vincentelli
- Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment
- A FrequencyDomain, Volterra SeriesBased Behavioral Simulation Tool for RF Systems
- MultiValued Network Simplification using Redundancy Removal Sunil P. Khatri (linus@ic.eecs.berkeley.edu) \Lambda
- ! " ! $#&%'(# ! )10243 ! '56) 7 8) ! 59)02)0@59'5BAC C$0@56D)
- AUTOMOTIVE ENGINE AND POWER-TRAIN CONTROL: A COMPREHENSIVE HYBRID MODEL
- Latency Insensitive Protocols Luca P. Carloni 1 , Kenneth L. McMillan 2 , and
- A Structural Approach to Quasi-Static Schedulability Analysis of Communicating Concurrent Programs
- Using Multiple Levels of Abstractions in Embedded Software Design
- SubWave: a Methodology for Modeling Digital Substrate Noise Injection in MixedSignal ICs
- Formal Verification of an Automotive Engine Controller Cutoff Mode
- Modeling Reactive Systems in Java Jonathan Martin
- AURA II: COMBININGNEGATIVETHINKINGAND BRANCHANDBOUNDINUNATECOVERINGPROBLEMS
- HW/SW Codesign of an Engine Management System # M. Baleani +# A. Ferrari # A. SangiovanniVincentelli # C. Turchetti +
- A Timed AutomatonBased Method for Accurate Computation of Circuit Delay in the
- A TopDown ConstraintsDriven Design Methodology for Powertrain Control System
- DESIGN OF A MOTORCYCLE ENGINE CONTROL UNIT USING AN INTEGRATED
- Addressing the Timing Closure Problem by Integrating Logic Optimization and Wilsin Gosti Sunil P. Khatri Alberto L. Sangiovanni-Vincentelli
- A case study on modeling shared memory access effects during performance analysis of HW/SW systems
- Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin Roberto Passerone
- Embedded System Design Using UML and Platforms , Marco Sgroi+
- Fast Hardware-Software Co-simulation Using VHDL Models Bassam Tabbara Enrica Filippi Luciano Lavagno
- A Low-Power Mixed-Signal Baseband System Design for Wireless Sensor Networks
- Wireplanning in Logic Synthesis Wilsin Gosti Amit Narayan Robert K. Brayton Alberto L. SangiovanniVincentelli
- Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations
- Observability for Hybrid Systems Andrea Balluchi
- Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions
- SPFDbased Wire Removal in a Network of PLAs Sunil P. Khatri Subarnarekha Sinha Andreas Kuehlmann Robert K. Brayton
- Synthesis by Language Equation Solving: Extended Abstract
- A Parameterbased Mapping Scheme for Behavior/Architecture CoDesign Marcello Lajolo
- FSM Re-Engineering and Its Application in Low Power State Encoding Lin Yuan1, Gang Qu1, Tiziano Villa2,3, and Alberto Sangiovanni-Vincentelli2,4
- Modeling and Designing Heterogeneous Systems Felice Balarin 1 , Luciano Lavagno 1 , Claudio Passerone 2 , Alberto
- An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O
- HW/SW Partitioning and Code Generation of Embedded Control Applications on a Reconfigurable Architecture
- Mixed Signal Design Space Exploration through Analog Platforms
- On the Stabilization of Linear Discretetime Hybrid Automata Marco Zoncu
- Constraints Specification at Higher Levels of Abstraction Felice Balarin, Jerry Burch, Luciano Lavagno, Yosinori Watanabe
- Automatic Synthesis of Interfaces between Incompatible Protocols Roberto Passerone James A. Rowson
- The Art and Science of Integrated Systems Design Luca P. Carloni
- QuasiStatic Scheduling of Embedded Software Using Equal Conflict Nets
- Solution of Synchronous Language Equations for Logic Synthesis Nina Yevtushenko { Tiziano Villa x Robert K. Brayton y Alex Petrenko z
- Trace Driven Logic Synthesis Application to Power Minimization
- Efficient Power Estimation Techniques for HW/SW Systems Marcello Lajolo Anand Raghunathan Sujit Dey
- Synthesis for Idle Speed Control of an Automotive Engine
- A Compilationbased Software Estimation Scheme for Hardware/Software CoSimulation
- Proc. of Hybrid Sytems: computation and control (HSCC 2002), Stanford 25/27, March 20021 Synthesis of robust control systems under
- Models of Computation for Embedded System Luciano Lavagno
- Proceedings of the 38* Conference on Decision & Control
- System Design: Traditional Concepts and New Paradigms Alberto Ferrari
- In summer 2001, a workshop called "Electronics in the 21st Century: Trends and
- INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL Int. J. Robust Nonlinear Control 2001; 11:515}539 (DOI: 10.1002/rnc.596)
- Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles
- 0740-7475/03/$17.00 2003 IEEE Copublished by the IEEE CS and the IEEE CASS NovemberDecember 2003 40YearsofEDA
- An embedded system for an eye-detection sensor Arnon Amira,*, Lior Zimetb
- MODELING TECHNIQUES IN DESIGN-BY-REFINEMENT METHODOLOGIES
- EMBEDDED SYSTEM DESIGN USING UML AND , Marco Sgroi+
- UML AND PLATFORM-BASED DESIGN , Marco Sgroi1
- A Case Study in Embedded System Design: an Engine Control Unit Tullio Cuatto, Politecnico di Torino, Italy
- A Hybrid Approach to the Fast Positive Force Transient Tracking Problem in Automotive Engine Controll
- Hybrid Systems and the Design of Embedded Controllers for Automotive Engine Management
- Injector Characteristics Estimation for Spark Ignition Engines
- Intellectual Property Re-use in Embedded System Co-design: an Industrial Case Study
- Designing Digital Video Systems: Modeling and Scheduling H.J.H.N. Kent&, C. Passeronett, W.J.M. Smitst, Y. Watanabet and A.L. Sangiovanni-Vincentellit
- A Novel VLSI Layout Fabric for Deep Sub-Micron Applications Sunil P. Khatri Amit Mehrotra Robert K. Brayton Alberto Sangiovanni-Vincentelli
- A CASE STUDY OF HYBRID CONTROLLER SYNTHESIS OF A HEATING SYSTEM
- A Methodology for Correct-by-Construction Latency Insensitive Design Luca P. Carloni Kenneth L. McMillan Alexander Saldanha
- DESIGNING WIRELESS PROTOCOLS: METHODOLOGY AND APPLICATIONS M. Sgroi, J. L. da Silva Jr., F. De Bernardinis, F. Burghardt,
- E cient Methods for Embedded System Design Space Exploration Harry Hsieh, Dpt. of EECS, University of California at Berkeley, USA
- Task Scheduling with RT Constraints M. Di Natale
- Cross-talk Immune VLSI Design using a Network of PLAs Embedded in a Regular Layout Fabric
- Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip
- Solution of Parallel Language Equations for Logic Synthesis Nina Yevtushenko
- This paper presents a new methodology for system-level power and performance analysis of wireless multimedia sys-
- HW/SW Codesign of a Multiple Injection Driver Automotive Subsystem Using a Configurable System-on-Chip
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Proximity Templates for Modeling of Skin and Proximity Effects on Packages and High Frequency Interconnect
- FUNCTIONAL AND ARCHITECTURAL SPECIFICATION FOR POWER-TRAIN CONTROL SYSTEM DESIGN
- System Level Design of Embedded Controllers: Knock Detection, a Case Study in the Automotive Domain
- A Tool for Describing and Evaluating Hierarchical Real-Time Bus Scheduling Policies
- Fault-Tolerant Platforms for Automotive Safety-Critical Applications
- Synthesis for Manufacturability: a Sanity Check Alessandra Nardi Alberto L. Sangiovanni-Vincentelli
- Microarchitecture Development via Metropolis Successive Platform Douglas Densmore
- A Methodology for System-Level Analog Design Space Exploration
- THE FUTURE DESIGN SCENARIO AND THE SEA INITIATIVE Jean-Yves Brunel
- Discrete and continuous structural properties for observability Andrea Balluchi
- Extensible and Scalable Time Triggered Scheduling University of California, Berkeley
- Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello +
- Enriching an Analog Platform for Analog-to-Digital Converter Design
- Platform-based Design Alberto Sangiovanni Vincentelli
- Copy provided by USPTO from the PIRS Image Database on 11-22-2002 Copy provided by USPTO from the PIRS Image Database on 11-22-2002
- Paper Number Automotive Electronics: Trends and Challenges
- Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect
- Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
- 230740-7475/01/$10.00 2001 IEEENovemberDecember 2001 THE ESSENCE OF embedded-systems design
- Negative Thinking by Incremental Problem Solving: Application to Unate Covering Evguenii I. Goldberg y;z Luca P. Carloni z Tiziano Villa x Robert K. Brayton z
- System-level design models and implementation techniques Luciano Lavagno Alberto Sangiovanni-Vincentelli
- Finite State Machine Composition for Embedded Hardware/Software Tradeoffs
- With the advent of highly powerful microprocessors, the explosion of wireless
- Synthesis of Embedded Software Using Free-Choice Petri Nets Marco Sgroiy, Luciano Lavagnoz,
- Idle Speed Control for GDI Engines using Robust Multirate Hybrid Command Governors
- Data Flow and Control Optimizations for Hardware and Software Co-synthesis in Embedded Systems
- Proceedings of the 38* Conference on Decision & Control
- As commercial demand for system-on-a-chip (SOC)-based products grows, the
- An Exact Input Encoding Algorithm for BDDs Representing FSMs Wilsin Gosti 1 Tiziano Villa 2 Alexander Saldanha 3 Alberto SangiovanniVincentelli 1
- Sequential MultiValued Network Simplification using Redundancy Removal Sunil P Khatri Robert K Brayton Alberto L SangiovanniVincentelli
- Numerically ecient control of systems with communication constraints
- Hardware/Software CoDesign for Image Processing F. Bellifemine y, A. Bonomo y, P. Civeraz, G. Ghigo y \Lambda ,
- HYBRID OPTIMIZATION PROBLEMS IN AUTOMOTIVE APPLICATIONS
- Separation of Concerns: Overhead in Modeling and Efficient Simulation Techniques
- Design for Yield and Reliability 192 0740-7475/04/$20.00 2004 IEEE Copublished by the IEEE CS and the IEEE CASS IEEE Design & Test of Computers
- Design Space Exploration for a UMTS front-end exploiting Analog Platforms
- Improving Reachability Analysis of Hybrid Automata for Engine Control
- PRELIMINARY DRAFT November 26, 2003 A Service-Based Universal Application Interface for Ad-hoc Wireless
- Wkeplmning in Logic Synthesis* Wllsin Gosti Amit Nwayan+ Robert K. Brayton Mberto L. SanQovanni-Vncentelti
- Binary and Multi-valued SPFD-based Wire Removal in PLA Networks Subarnarekha Sinha (subarna@eecs.berkeley.edu)
- Wireless Protocols Design: Challenges and Opportunities J. L. da Silva Jr., M. Sgroi, F. De Bernardinis, S. F. Li,
- A HYBRID OBSERVER FOR THE DRIVELINE DYNAMICS Andrea Balluchi
- Task Response Time Optimization Using Cost-Based Operation Motion
- Structural Detection of Symmetries in Boolean Functions Guoqiang Wang1 Andreas Kuehlmann1,2 Alberto Sangiovanni-Vincentelli1
