Kenneth J. Supowit, Gary D. Hachtel, Curtis T. Mcmullen, ...
[Bry86] Randal Everitt Bryant. Graph-based algorithms for Boolean function manipulation.
Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay (2009)
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto Sangiovanni-vincentelli, Sanjit A. Seshia
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection mechanisms, but its...
Three-Dimensional Monte Carlo Device Simulation for Massively Parallel Architectures (2009)
Henry Sheng, Roberto Guerrieri Y, Alberto Sangiovanni-vincentelli
1 Introduction The push for higher integration densities in semiconductor devices and the consequent reduction of minimum feature sizes have placed tremendous demands on the capabilities of...
Parallel and Distributed Three-Dimensional Monte Carlo Semiconductor Device Simulation (2009)
Henry Sheng, Roberto Guerrieriy, Alberto Sangiovanni-vincentelli
Design and Optimization of an MB-OFDM Ultra-Wideband Receiver Front-End (2009)
Yanmei Li, Chang-ching Wu, Alberto Sangiovanni-vincentelli, Jan M. Rabaey
Abstract — The design of an MB-OFDM ultra-wideband receiver is challenging when we target power consumption minimization while providing enough robustness against the nearby wireless interference....
Trevor Meyerowitz, Student Member, Ieee Jonathan Sprinkle, Alberto Sangiovanni-vincentelli
Abstract — We detail the syntax and semantics of ISA_ML, a visual modeling language for describing Instruction Set Achitectures of microprocessors, and an accompanying tool that takes a description...
Arkadeb Ghosal, Alberto Sangiovanni-vincentelli
Copyright © 2007 SAE International One of the many challenges facing electronic 1 system architects is how to provide a cost estimate related to design decisions over the entire life-cycle and...
High Level CPU Micro-architecture Models Using Kahn Process Networks (2008)
Trevor C. Meyerowitz, Alberto Sangiovanni-vincentelli
Abstract—Constructing cycle-accurate simulators of microprocessors is a time consuming and error prone process. Also, these models often have poor performance. This leads system designers to...
Is “Network ” the Next “Big Idea ” in Design? (2008)
Radu Marculescu, Jan Rabaey, Alberto Sangiovanni-vincentelli
As the complexity of nowadays systems continues to grow, we are moving away from creating individual components from scratch, toward methodologies that emphasize composition of re-usable components...
A Next-Generation Design Framework for Platform-Based Design (2008)
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Ro Pinto, Alberto Sangiovanni-vincentelli, Guang Yang, ...
Abstract — The platform-based design methodology [1] is based on the usage of formal modeling techniques, clearly defined abstraction levels and the separation of concerns to enable an effective...
Platform-Based Design of Wireless Sensor Networks for Industrial Applications (2008)
Alvise Bonivento, Luca P. Carloni, Alberto Sangiovanni-vincentelli
Abstract — We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an example...
Communication and Co-Simulation Infrastructure for Heterogeneous System Integration (2008)
Guang Yang, Felice Balarin, Harry Hsieh, Alberto Sangiovanni-vincentelli
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at higher levels of abstraction becomes a necessity. Meanwhile, it is also important to...
Randomized Sleeping for Energy Conservation and Robustness in Dense Sensor Networks (2008)
Dragan Petrović, Jana Van Greunen, Alvise Bonivento, Kannan Ramch, Jan Rabaey, Alberto Sangiovanni-vincentelli
Abstract—This work presents an approach for exploiting high density of homogeneous nodes in a sensor network to conserve energy by allowing nodes to “sleep”, while providing robustness to...
Abstract On Clustering for Minimum Delay/Area (2008)
Chuck Kring, A. Richard Newton, Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-vincentelli
An extension to the Fiduccia and Mattheyses mincut algorithm allows cells to be replicated in both sides of the partition. This technique can substantially reduce the number of cut nets in a...
Abstract Sequential Synthesis UsingS1S � (2008)
Adnan Aziz, Felice Balarin, Robert Brayton, Alberto Sangiovanni-vincentelli, Computer Sciences
We present a mathematical framework for analyzing the synthesis of interacting finite state systems. The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in...
Trevor Meyerowitz, Student Member, Ieee Jonathan Sprinkle, Alberto Sangiovanni-vincentelli
Abstract — We detail the syntax and semantics of ISA_ML, a visual modeling language for describing Instruction Set Achitectures of microprocessors, and an accompanying tool that takes a description...
Algorithms, Performance (2008)
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-vincentelli
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple electronic control...
Logic Verification using Binary Decision Diagrams in a Logic Synthesis Environment (2008)
Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato, Sharad Malik, Albert R. Wang, Robert K. Brayton, ...
R.E. Bryant proposed a method to handle logic expressions [3], which is based on binary decision diagrams (BDD) with restriction: variable ordering is fixed throughout a diagram. Although the method...
Elettronica ed Informatica (2008)
Eric Felt, Stefano Zanella, Carlo Guardiani, Alberto Sangiovanni-vincentelli
A methodology for hierarchical statistical circuit characterization which does not rely upon circuit-level Monte Carlo simulation is presented. The methodology uses principal component analysis,...
1986 ICCAD, Pages 2-5 Mighty: A 'Rip-Up and Reroute ' Detailed Router (2008)
Hyunchul Shin, Alberto Sangiovanni-vincentelli
For the macro-cell design style and for routing problems where the routing regions are irregular, two dimensional routers are often necessary. In this paper a new routing technique that can be...
2 Embedded System Design Formal Models for Embedded System Design (2008)
Marco Sgroi, Luciano Lavagno, Alberto Sangiovanni-vincentelli
The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design. BY THE YEAR 2002, it is estimated that consumers...
Fault Tolerance in Wireless Sensor Networks,” Book chapter (2008)
Farinaz Koushanfar, Miodrag Potkonjak, Alberto Sangiovanni-vincentelli
Abstract: In this Chapter, we address fault tolerance in wireless sensor networks. In order to make the presentation self-contained, we start by providing a short summary of sensor networks and...
Is “Network ” the Next “Big Idea ” in Design? (2008)
Radu Marculescu, Jan Rabaey, Alberto Sangiovanni-vincentelli
As the complexity of nowadays systems continues to grow, we are moving away from creating individual components from scratch, toward methodologies that emphasize composition of re-usable components...
NONLINEAR CIRCUIT SIMULATION IN THE FREQUENCY-DOMAIN ∗ (2008)
Kenneth S. Kundert, Alberto Sangiovanni-vincentelli
Abstract Simulation in the frequency-domain avoids many of the severe problems experienced when trying to use traditional time-domain simulators such as Spice [1] to find the steady-state behavior of...
Leonardi, Francesco, Pinto, Alessandro, Carloni, Luca P., Sangiovanni-Vincentelli, Alberto
Video surveillance is one of the fastest-growing class of networked embedded systems. An increasing number of cameras are networked to support various applications including security in city streets,...
Alberto Ferrari, Ulrich Freund, Alberto Sangiovanni-vincentelli, Martin Torngren, Thomas Thurner, Hermann Von Hasseln
Abstract: The overall objective of the SEA Initiative is to develop a framework and a seamless process-flow for the design of complex embedded real-time systems in automotive applications. Both...
SAT sweeping with local observability don’t cares (2008)
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto Sangiovanni-vincentelli
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural hashing,...
Alberto Ferrari, Ulrich Freund, Alberto Sangiovanni-vincentelli, Martin Torngren, Thomas Thurner, Hermann Von Hasseln
Abstract: The overall objective of the SEA Initiative is to develop a framework and a seamless process-flow for the design of complex embedded real-time systems in automotive applications. Both...
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment (2008)
Mark L. Mckelvin, Jonathan Sprinkle, Claudio Pinello, Alberto Sangiovanni-vincentelli
Designing embedded software for safety-critical, real-time feedback control applications is a complex and error prone task. Fault tolerance is an important aspect of safety. In general, fault...
Abstract FSM Re-Engineering and Its Application in Low Power State Encoding (2008)
Lin Yuan, Gang Qu, Tiziano Villa, Alberto Sangiovanni-vincentelli
We propose Finite State Machine (FSM) re-engineering, a performance enhancement framework for FSM synthesis and optimization procedure. We start with any traditional FSM synthesis and optimization...
System-on-a-Chip - A Platform Perspective (2008)
Jan Rabaey And, Jan M. Rabaey, Alberto Sangiovanni-vincentelli
Today, IC technology offers the possibility of integrating so many functions onto a single chip that it is indeed possible to implement an "environment-to-environment" system on a single...
Co-Design of a Fault-Tolerant Communication Protocol - A Case Study (2008)
Reinhard Von Hanxleden, Daimler-benz Ag, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Hardware/software co-design is a design technology that supports the integrated development of hardware and software components of a system. A special focus of the work described here is the...
Schedulability analysis of Petri nets based on structural properties (2008)
Liu, Cong, Kondratyev, Alex, Watanabe, Yosinori, Desel, Jörg, Sangiovanni-Vincentelli, Alberto
Dynamic Bound Generation for Constraint-Driven Routing (2007)
Enrico Malavasi, Alberto Sangiovanni-vincentelli
We propose a technique to update dynamically the bounds used during constraint-driven routing. Moderate bound violations are allowed as long as no constraint violations are induced. Adaptive net...
A Novel Framework for Solving the State Assignment Problem for Event-Based Specifications (2007)
Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto Sangiovanni-Vincentelli
We propose a novel framework to solve the state assignment problem arising from the signal transition graph (STG) representation of an asynchronous circuit. We first establish a relation between STGs...
Generation of a Minimal STG from an Implicit Cover (2007)
Luca Carloni, Tiziano Villa, Timothy Kam, Robert Brayton, Alberto Sangiovanni-vincentelli
This report describes how to produce a state transition table (or state transition graph) of an FSM reduced by using implicit minimization algorithms. The cases of ISFSM's (minimized implicitly...
ERROR-TOLERANTMULTI-MODALSENSORFUSION (SHORT PAPER) (2007)
Farinaz Koushanfar, Sasha Slijepcevic, Miodrag Potkonjak, Alberto Sangiovanni-vincentelli
Embedded sensor networks (ESNs) are one of the prime candidates for widely used ubiquitous computing systems that will bridge the gap between computing and physical worlds. One of the most important...
Paul’s Example and Latency-Insensitive Design (2007)
Luca Carloni, Alberto Sangiovanni-vincentelli
Figure 1 illustrates a slightly-modified version of the example that we discussed at Parades. Recall that latency-insensitive systems are synchronous systems. Hence, at each clock cycle the values of...
Alberto La Rosa, Claudio Passerone, Luciano Lavagno, Francesco Gregoretti, Alberto Sangiovanni-vincentelli
yy
A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design (2007)
Marcello Lajolo, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-vincentelli
We present a parameter-based scheme for the architectural mapping of the behavior of an embedded system initially specified at a very high level of abstraction. The user can run on the same netlist...
Paper Number Automotive Electronics: Trends and Challenges (2007)
Alberto Sangiovanni-vincentelli
The car as a self-contained microcosm is undergoing radical changes due to the advances of electronic technology. We need to rethink what a “car ’ really is and the role of electronics in it....
Marco Sgroi, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Embedded system design requires the use of efficient scheduling policies to execute on shared resources, e.g. the processor, algorithms that consist of a set of concurrent tasks with complex mutual...
Abstract A Novel VLSI Layout Fabric for Deep Sub-Micron Applications (2007)
Sunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Alberto Sangiovanni-vincentelli
We propose a new VLSI layout methodology which addresses the main problems faced in Deep Sub-Micron (DSM) integrated circuit design. Our layout “fabric ” scheme eliminates the conventional notion...
Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto Sangiovanni-vincentelli
Abstract. The increasing complexity of embedded systems and demands for quicker turn-around times require reuse of hardware and software components. Recongurable hardware technology opens a new...
Leonardo Mangeruca, Alberto Ferrari, Alberto Sangiovanni-vincentelli, Andrea Pierantoni, Michele Pennese
We present a case study in the design of automotive engine controllers: the development of a knock detection algorithm and its implementation in an optimized platform. The design problem is...
S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-vincentelli, Stephen Edwards, Edward A. Lee, ...
Research partially sponsored by: SRC,
What Can Boolean Networks Learn? (2007)
Arlindo L. Oliveira, Alberto Sangiovanni-vincentelli
We study the generalization abilities of networks that are composed of boolean nodes, i.e., nodes that implement only basic boolean functions: and, or and not. The majority of the network learning...
Enrico Malavasi, Edoardo Charbon, Gani Jusuf, Roberto Totaro, Alberto Sangiovanni-vincentelli
A new approach to the layout of integrated circuits with multiple symmetry axes is presented in this paper. When more than one symmetry is present, the usual approach to placement and compaction...
Eric Felt, Enrico Malavasi, Edoardo Charbon, Roberto Totaro, Alberto Sangiovanni-vincentelli
This paper describes a new approach to layout compaction of analog integrated circuits which respects all of the performance and technology constraints necessary to guarantee proper analog circuit...
Arlindo L. Oliveira, Alberto Sangiovanni-vincentelli
We present a method for feature construction and selection that finds a minimal set of con-junctive features that are appropriate to perform the classification task. For problems where this bias is...
A Mixed Frequency Time Approach for Distortion Analysis of Switching Filter Circuits (2007)
Kenneth S. Kundert, Student Member Ieee, Jacob White, Alberto Sangiovanni-vincentelli, I. Inrroduction
Abxtract--Designers of switching filter circuits are often interested in steads-state distortion due to both static effecls, such as nonlinearities in the capacitors, and dynamic effects, such as the...
1 Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions (2007)
Luca Daniel, Alberto Sangiovanni-vincentelli, Jacob White
A new method is formulated for modeling current distributions inside conductors for a quasi-static or a full-wave electromagnetic eld simulator. In our method, we model current distributions inside...
Coorespondence should be directed to: (2007)
Robert R. Neff, Paul R. Gray, Alberto Sangiovanni-vincentelli
DSYN generates optimized Digital/Analog Converter (DAC) layouts given a set of specifications including performance constraints, a description of the implementation technology, and a set of design...
Bassam Tabbara x Embedded Systems Extended Abstract (2007)
Felice Balarin, Massimiliano Chiodo, Attila Jurecska Z, Alberto Sangiovanni-vincentelli
1 Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions (2007)
Luca Daniel, Jacob White, Alberto Sangiovanni-vincentelli
Abstract | A new method is formulated for modeling current distributions inside conductors for a quasi-static or a full-wave electromagnetic eld simulator. In our method, we model current...
Yosinori Watanabe Cadence Berkeley Labs (2007)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Claudio Passerone, Alberto Sangiovanni-vincentelli
The problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with...
Marco Sgroi, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Embedded system design requires the use of efficient scheduling policies to execute on shared resources, e.g. the processor, algorithms that consist of a set of concurrent tasks with complex mutual...
Felice Balarin, Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Wilsin Gosti, Harry Hsieh, ...
A design environment for control-dominated embedded systems version 0.4
Paolo Miliozzi, Luca Carloni, Edoardo Charbon, Alberto Sangiovanni-vincentelli
A methodology is presented for generating compact models of substrate noise injection in complex logic networks. For a given gate library, the injection patterns associated with a gate and an input...
Loosely Time-Triggered Architectures based on Communication-by-Sampling (2007)
Benveniste, Albert, Caspi, Paul, Di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the communication...
Constraints assisted modeling and validation in metropolis framework (2006)
Guang Yang, Harry Hsieh, Xi Chen, Felice Balarin, Alberto Sangiovanni-vincentelli
Abstract — This paper focuses on quantitative constraints specified with Logic of Constraints(LOC) and coordination constraints with Linear Temporal Logic (LTL) that are used in the specification,...
Schedulability Analysis of Petri Nets Based on Structural Properties (2006)
Liu, Cong, Kondratyev, Alex, Watanabe, Yosinori, Desel, Jörg, Sangiovanni-Vincentelli, Alberto
Interchange formats for hybrid systems: Review and proposal (2005)
Ro Pinto, Alberto Sangiovanni-vincentelli, Luca P. Carloni, Roberto Passerone
Abstract. Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools using...
Synthesizing FSMs according to co-Büchi properties (2005)
Guoqiang Wang, Alan Mishchenko, Robert Brayton, Alberto Sangiovanni-vincentelli
Abstract. Computations are developed for the synthesis of an FSM embedded in a known larger system such that the overall behavior satisfies a co-Büchi specification. The procedures for this are very...
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)
Benveniste, Albert, Caillaud, Benoît, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...
A service-based universal application interface for ad-hoc wireless sensor networks (2004)
Marco Sgroi, Adam Wolisz, Alberto Sangiovanni-vincentelli, Jan M. Rabaey
This paper addresses the fundamental issue of defining a standard set of services and interface primitives which should be made available to an application programmer independently on their...
Separation of concerns: Overhead in modeling and efficient simulation techniques (2004)
Guang Yang, Alberto Sangiovanni-vincentelli
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as well as in...
Benefits and challenges for platform-based design (2004)
Alberto Sangiovanni-vincentelli, Luca Carloni Fern
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face to make the...
Separation of concerns: Overhead in modeling and efficient simulation techniques (2004)
Guang Yang, Alberto Sangiovanni-vincentelli
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as well as in...
Adaptive sleep discipline for energy conservation and robustness in dense sensor networks (2004)
Jana Van Greunen, Dragan Petrović, Alvise Bonivento, Jan Rabaey, Kannan Ramch, Alberto Sangiovanni-vincentelli
Abstract — We present an adaptive approach for conserving energy in high-density sensor networks. The proposed method allows sensor nodes to sleep while ensuring that application performance...
Luca Carloni, Ro Pinto, Alberto Sangiovanni-vincentelli, Deliverable Number Dhs, L. Carloni Ucb, ...
Title of document: Overview of of methods representing semantics of hybrid modeling techniques
Platform Based Reconfigurable Architecture Exploration via Boolean Constraints (2004)
Douglas Densmore, Alberto Sangiovanni-vincentelli, John Wawrzynek, Douglas Densmore, Douglas Densmore, Douglas Densmore
by
Adaptive Sleep Discipline for Energy Conservation and Robustness (2004)
Jana Van Greunen, Dragan Petrovi, Alvise Bonivento, Jan Rabaey, Kannan Ramch, Alberto Sangiovanni-vincentelli
Abstract — We present an adaptive approach for conserving energy in high-density sensor networks. The proposed method allows sensor nodes to sleep while ensuring that application performance...
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)
Benveniste, Albert, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...
Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles (2003)
Benjamin Horowitz, Judith Liebman, Cedric Ma, T. John Koo, Alberto Sangiovanni-vincentelli, S. Shankar Sastry
Abstract — Automatic control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and...
Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)
Albert Benveniste, Albert Benveniste, Luca P. Carloni, Luca P. Carloni, Paul Caspi, Paul Caspi, ...
Publication interne n˚1549 — Août 2003 — 23 pages Abstract: We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish...
Structural detection of symmetries in boolean functions (2003)
Guoqiang Wang, Andreas Kuehlmann, Alberto Sangiovanni-vincentelli
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using special language features...
Platform-Based Embedded Software Design and (2003)
System Integration For, Benjamin Horowitz, Judith Liebman, Cedric Ma, T. John Koo, Alberto Sangiovanni-vincentelli, ...
this paper, we use the concepts of platform-based design to develop a methodology for the design of automatic control systems that builds in modularity and correct-by-construction procedures. We...
Structural Detection of Symmetries in Boolean Functions (2003)
Guoqiang Wang Andreas, Andreas Kuehlmann, Alberto Sangiovanni-vincentelli
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using special language features...
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto Sangiovanni-vincentelli
This paper studies the usage of a reconfigurable architecture platform for embedded control applications aimed at improving real time performance. The hw/sw codesign methodology from POLIS is used....
Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-vincentelli, Yosinori Watanabe, Guang Yang
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that develops a design methodology, supported by a comprehensive design...
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto Sangiovanni-vincentelli
This paper studies the use of a reconfigurable architecture platform for embedded control applications aimed at improving real time performance. The hw/sw codesign methodology from POLIS is used. It...
Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-vincentelli, Yosinori Watanabe, Guang Yang
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that develops a design methodology, supported by a comprehensive design...
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto Sangiovanni-vincentelli
This paper studies the usage of a reconfigurable architecture platform for embedded control applications aimed at improving real time performance. The hw/sw codesign methodology from POLIS is used....
Embedded system design using uml and platforms (2002)
Rong Chen, Marco Sgroi, Grant Martin, Luciano Lavagno, Alberto Sangiovanni-vincentelli, Jan Rabaey
Important trends are emerging for the design of embedded systems: a) the use of highly programmable platforms, and b) the use of the Unified Modeling Language (UML) for embedded software development....
Error-Tolerant Multi-Modal Sensor Fusion (2002)
Farinaz Koushanfar, Sasha Slijepcevic, Miodrag Potkonjak, Alberto Sangiovanni-vincentelli
Embedded sensor networks (ESNs) are one of the prime candidates for widely used ubiquitous computing systems that will bridge the gap between computing and physical worlds. One of the most important...
Compositional Modeling in Metropolis (2002)
Gregor Gössler, Alberto Sangiovanni-Vincentelli
Metropolis is an environment for the design of heterogeneous embedded systems. The framework is based on a general system representation called the Metropolis meta-model. This model forms the...
Modeling and Designing Heterogeneous Systems (2002)
Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe
We present the modeling mechanism employed in Metropolis, a design environment for heterogeneous embedded systems, and a design methodology based on the mechanism experimented for wireless...
Numerically Efficient Control of Systems with Communication Constraints (2002)
Luigi Palopoli, Antonio Bicchi, Alberto Sangiovanni-Vincentelli
We address the problem of stabilization to the trivial equilibrium of a linear system for which commands are issued to dierent group of actuators through a shared communication resource. The problem...
Embedded software design and system integration for rotorcraft UAV using platforms (2002)
Benjamin Horowitz, Judith Liebman, Cedric Ma, T. John Koo, Thomas A. Henzinger, Alberto Sangiovanni-vincentelli, ...
Abstract: Automation control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and...
Embedded Software Design And System (2002)
Integration For Rotorcraft, Benjamin Horowitz, Judith Liebman, Cedric Ma, T. John Koo, Thomas A. Henzinger, ...
Automation control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and timing...
Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto Sangiovanni-vincentelli
This paper studies the use of a reconfigurable architecture platform for embedded control applications aimed at improving real time performance. The hw/sw codesign methodology from POLIS is used. It...
Bassam Tabbara, Abdallah Tabbra, Alberto Sangiovanni-vincentelli, Sanjaya Kumar, James H. Aylor, Barry W. Johnson, ...
codesign methodology for distributed embedded systems, ” IEICE
Constraints specification at higher levels of abstraction (2001)
Felice Balarin, Jerry Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto Sangiovanni-vincentelli
We are proposing a formalism to express performance constraints at a high level of abstraction. The formalism allows specifying design performance constraints even before all low level details...
Synchronous approach to functional equivalence of embedded system implementations (2001)
Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Abstract—Design space exploration is the process of analyzing several functionally equivalent alternatives to determine the most suitable one. A fundamental question is whether an implementation is...
Platform-based design and software design methodology for embedded systems (2001)
Alberto Sangiovanni-vincentelli, Grant Martin
Embedded products have become so complex and must be developed so quickly that current design methodologies are no longer adequate. The authors ’ vision for the future of embedded-system design...
Optimal control using bisimulations: Implementation (2001)
Mireille Broucke, Maria Domenica, Di Benedetto, Stefano Di Gennaro, Alberto Sangiovanni-vincentelli
Abstract. We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem which is to synthesize optimal enabling conditions...
Free MDD-based software optimization techniques for embedded systems (2000)
Chunghee Kim, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, performance and safety...
Formal models for communication-based design (2000)
Alberto Sangiovanni-vincentelli, Marco Sgroi, Luciano Lavagno
Abstract. Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and implemented....
Cross-talk immune VLSI design using a network of PLAs embedded in a regular layout fabric (2000)
Sunil P. Khatri, Robert K. Brayton, Alberto Sangiovanni-vincentelli
We present a VLSI design methodology to address the cross-talk problem, which is becoming increasingly important in Deep Sub-Micron (DSM) IC design. In our approach, we implement the logic netlist in...
Sequential synthesis using s1s (2000)
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto Sangiovanni-vincentelli
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematically elegant...
Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions (2000)
Luca Daniel, Jacob White, Alberto Sangiovanni-vincentelli
Abstract--A new method is formulated for modeling current distributions inside conductors for a quasi-static or a full-wave electromagnetic field simulator. In our method, we model current...
Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software (2000)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, De Catalunya, Sandra Moral, ...
A method for synthesizing code for the software component of a system is proposed. The specification is given as a set of concurrent processes that communicate through channels. Each process is a...
Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions (2000)
Luca Daniel, Alberto Sangiovanni-vincentelli, Jacob White
A new method is formulated for modeling current distributions inside conductors for a quasi-static or a full-wave electromagnetic field simulator. In our method, we model current distributions inside...
Xi Chen, Abhijit Davare, Alberto Sangiovanni-vincentelli, Yosinori Watanabe
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the synchronization...
Synthesis of software programs for embedded control applications (1999)
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Student Member, Attila Jurecska, ...
Abstract — Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient intermediate...
Felice Balarin, Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Wilsin Gosti, Harry Hsieh, ...
Polis A design environment for control-dominated embedded systems version 0.4
A frequency-domain, Volterra series-based behavioral simulation tool for RF systems (1999)
Iason Vassiliou, Alberto Sangiovanni-vincentelli
In this paper a new behavioral modeling approach for RF systems based is presented, based on a Volterra series input-output map representation. The modeling is done purely in the frequency domain,...
Fast instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment (1999)
Marcello Lajolo, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Cache memories are one of the main factors that aect software performance, and their use is becoming increasingly common even in embedded systems. Ecient analysis of the eects of parameter variations...
Fast Hardware-Software Co-simulation Using VHDL Models (1999)
Bassam Tabbara, Luciano Lavagno, Marco Sgroi, Alberto Sangiovanni-vincentelli
We describe a technique for hardwaresoftware co-simulation that is almost cycle-accurate, and does not require the use of interprocess communication nor a C language interface for the software...
A formal approach to reactive system design: A UAV flight management system design example (1999)
T. John Koo, Bruno Sinopoli, Alberto Sangiovanni-vincentelli, Shankar Sastry
This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a Flight Management Systems (FMS) for a...
Modeling Digital Substrate Noise Injection in Mixed-Signal IC's (1999)
Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Senior Member, Alberto Ferrari, Alberto Sangiovanni-vincentelli
Techniques are presented to compactly represent substrate noise currents injected by digital networks. Using device-level simulation, every gate in a given library is modeled by means of the signal...
Efficient Power Estimation Techniques for HW/SW Systems (1999)
Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto Sangiovanni-vincentelli
We present a power estimation framework for hardware/software System-On-Chip (SOC) designs based on concurrent and synchronized execution of a hardware simulator and an instruction set simulator....
Automation of IC Layout with Analog Constraints (1999)
Enrico Malavasi, Edoardo Charbon, Eric Felt, Alberto Sangiovanni-Vincentelli
A methodology for the automatic synthesis of full-custom IC layout with analog constraints is presented. The methodology guarantees that all performance constraints are met when feasible, or...
SPFD-based Wire Removal in a Network of PLAs (1999)
Sunil P. Khatri, Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton, Alberto Sangiovanni-Vincentelli
This paper describes the application of an SPFD-based wire removal technique for circuit implementations utilizing networks of PLAs. It has been shown that a design style based on a multi-level...
Synthesis of Software Programs for Embedded Control Applications (1999)
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Student Member, Attila Jurecska, ...
Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient intermediate format for...
Fast Hardware-Software Co-simulation Using VHDL Models (1999)
Bassam Tabbara, Luciano Lavagno, Marco Sgroi, Alberto Sangiovanni-vincentelli
We describe a technique for hardwaresoftware co-simulation that is almost cycle-accurate, and does not require the use of interprocess communication nor a C language interface for the software...
Substrate Optimization Based on Semi-Analytical Techniques (1999)
Edoardo Charbon, Ranjit Gharpurey, Robert G. Meyer, Alberto Sangiovanni-Vincentelli
Several methods are presented for highly efficient calculation of substrate noise transport in integrated circuits. A three-dimensional Green's function-based boundary element method,...
Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Senior Member, Alberto Ferrari, ...
Techniques are presented to compactly represent substrate noise currents injected by digital networks. Using device-level simulation, every gate in a given library is modeled by means of the signal...
A Framework for Comparing Models of Computation (1998)
Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets...
A Framework for Comparing Models of Computation (1998)
Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets...
Models of Computation for Embedded System Design (1998)
Luciano Lavagno, Alberto Sangiovanni-vincentelli, Ellen Sentovich
In the near future, most objects of common use will contain electronics to augment their functionality, performance, and safety. Hence, time-tomarket, safety, low-cost, and reliability will have to...
Spin glasses and random fields (World Scientific (1998)
Arlindo L. Oliveira, Alberto Sangiovanni-vincentelli
We propose a new methodology for the synthesis of two-level networks of threshold gates based on techniques related to the ones used in the logic synthesis of digital networks. The proposed approach...
Software Timing Analysis Using HW/SW Cosimulation and Instruction Set Simulator (1998)
Jie Liu, Marcello Lajolo, Alberto Sangiovanni-Vincentelli
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculated by a software...
An Exact Input Encoding Algorithm for BDDs Representing FSMs (1998)
Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto Sangiovanni-Vincentelli
We address the problem of encoding the state variables of a finite state machine such that the BDD representing its characteristic function has the minimum number of nodes. We present an exact...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract---This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining...
Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The breadth-first manipulation technique has proven effective in dealing with very large sized BDDs. However, till now the lack of dynamic variable reordering has remained an obstacle in its...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, L. Lavagno, E. A. Lee, Alberto Sangiovanni-Vincentelli
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs...
Automatic Synthesis of Interfaces between Incompatible Protocols (1997)
Roberto Passerone, James A. Rowson, Alberto Sangiovanni-vincentelli
At the system level, reusable Intellectual Property (or IP) blocks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks must exchange the...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, L. Lavagno, E. A. Lee, Alberto Sangiovanni-Vincentelli, Stephen Edwards, Luciano Lavagno, ...
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs...
Modeling Micro-Controller Peripherals for High-Level Co-Simulation and Synthesis (1997)
Harry Hsieh, Luciano Lavagno, Claudio Passerone, Claudio Sansoe, Alberto Sangiovanni-Vincentelli
Mapping a behavior on an embedded system involves hardware-software partitioning and assignment of software and hardware tasks to different components. In particular, software tasks in embedded...
Embedded Code Optimization via Common Control Structure Detection (1997)
Luciano Lavagno, Jordi Cortadella, Alberto Sangiovanni-Vincentelli
This paper addresses the problem of efficient code generation for embedded reactive real-time systems. Such systems have tight memory-size and execution speed-constraints. A method is proposed based...
Design of Embedded Systems: Formal Models, Validation, and Synthesis (1997)
Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni-vincentelli
Abstract—This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining...
A DENOTATIONAL FRAMEWORK FOR COMPARING MODELS OF COMPUTATION (1997)
Lig H T, Edward A. Lee, Alberto Sangiovanni-vincentelli
We give a denotational framework (a “meta model”) within which certain properties of models of computation can be understood and compared. It describes concurrent processes in general terms as...
Comparing Models of Computation (1996)
Edward A. Lee, Alberto Sangiovanni-vincentelli
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent processes as sets...
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
Vis: A system for verification and synthesis (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, ...
Sunil Khatri Yuji Kukimoto Abelardo Pardo y Shaz Qadeer Rajeev K. Ranjan
High Performance BDD Package Based on Exploiting Memory Hierarchy (1996)
Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The success of binary decision diagram (BDD) based algorithms for synthesis and/or verification depend on the availability of a high performance package to manipulate very large BDDs. State-ofthe...
VIS: A System for Verification and Synthesis (1996)
Alberto Sangiovanni-Vincentelli, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, ...
ion Manual abstraction can be performed by giving a file containing the names of variables to abstract. For each variable appearing in the file, a new primary input node is created to drive all the...
Binary Decision Diagrams on Network of Workstations (1996)
Rajeev Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The success of all binary decision diagram (BDD) based synthesis and verification algorithms depend on the ability to efficiently manipulate very large BDDs. We present algorithms for manipulation of...
An implicit formulation for exact BDD minimization of incompletely specified functions (1996)
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni-Vincentelli
This paper addresses the problem of binary decision diagram (BDD) minimization in the presence of don't care sets. Specifically, given an incompletely specified function g and a fixed ordering...
Evaluation of Trade-Offs in the Design of Embedded Systems Via Co-Simulation (1996)
Claudio Passerone, Massimiliano Chiodo, Wilsin Gosti, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Current design methodologies for embedded systems often force the designer to evaluate early in the design process architectural choices that will heavily impact the cost and performance of the final...
A Video Driver System Designed Using a Top-Down, Constraint-Driven Methodology (1996)
Iasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto Sangiovanni-Vincentelli
To accelerate the design cycle for analog and mixed-signal systems, we have proposeda top-down,constraint-driven design methodology. The key idea of the proposed methodology is hierarchically...
High Performance BDD Package By Exploiting Memory Hierarchy (1996)
Jagesh Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto Sangiovanni-vincentelli
The success of binary decision diagram (BDD) based algorithms for verification depend on the availability of a high performance package to manipulate very large BDDs. State-of-the-art BDD packages,...
SubWave: a Methodology for Modeling Digital Substrate Noise Injection in Mixed-Signal ICs (1996)
Paolo Miliozzi, Luca Carloni, Edoardo Charbon, Alberto Sangiovanni-vincentelli
A methodology is presented for generating compact models of substrate noise injection in complex logic networks. For a given gate library, the injection patterns associated with a gate and an input...
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs (1996)
Arlindo Oliveira, Alberto Sangiovanni-Vincentelli, Jude Shavlik
. We propose an algorithm for the inference of decision graphs from a set of labeled instances. In particular, we propose to infer decision graphs where the variables can only be tested in accordance...
Semi-Analytical Techniques for Substrate Characterization in the Design of Mixed-Signal ICs (1996)
Edoardo Charbon, Ranjit Gharpurey, Robert G. Meyer, Alberto Sangiovanni-vincentelli
A number of methods are presented for highly efficient calculation of substrate current transport. A three-dimensionalGreen's Function based substrate representation, in combination with the use...
Hardware/Software Co-Design of a (1996)
Reinhard Hanxleden, Jurgen Bohne, Daimler-benz Ag, Daimler-benz Ag, Luciano Lavagno, ...
This paper is a first report on the communication protocol PROSA (Protocol for Safety-Critical Applications) , which is specifically designed for safetycritical applications, and on first experiences...
Edward A. Lee, Alberto Sangiovanni-vincentelli
We give a denotational framework that describes concurrent processes in very general terms as sets of possible behaviors. Compositions of processes are given as intersections of their behaviors. The...
Comparing Models of Computation (1996)
Edward A. Lee, Alberto Sangiovanni-vincentelli
We give a denotational framework (a “meta model”) within which certain properties of models of computation can be understood and compared. It describes concurrent processes as sets of possible...
Inferring Reduced Ordered Decision Graphs of Minimum Description Length (1995)
Arlindo L. Oliveira, Alberto Sangiovanni-vincentelli
This work describes an approach for the inference of reduced ordered decision graphs from training sets. Reduced ordered decision graphs (RODGs) are graphs where the variables can only be tested in...
Synthesis of Software Programs for Embedded Control Applications (1995)
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, ...
Software components for embedded reactive real-time applications must satisfy tight code size and run-time constraints. Cooperating Finite State Machines provide a convenient intermediate format for...
Synthesis of Software Programs for Embedded Control Applications (1995)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, ...
Software components for embedded reactive real-time applications must satisfy tight code size and run-time constraints. Cooperating Finite State Machines provide a convenient intermediate format for...
Inferring Reduced Ordered Decision Graphs of Minimal Description Length (1995)
Arlindo Oliveira, Alberto Sangiovanni-vincentelli
this paper, we propose to use ordered decision graphs (ODGs) as the underlying description. In ODGs, the variables can only be tested in accordance with a previously specified order. By using ODGs,...
Inferring Reduced Ordered Decision Graphs of Minimum Description Length (1995)
Arlindo L. Oliveira, Alberto Sangiovanni-Vincentelli
We propose an heuristic algorithm that induces decision graphs from training sets using Rissanen's minimum description length principle to control the tradeoff between accuracy in the training...
Sequential Synthesis Using S1S (1995)
Adnan Aziz, Felice Balarin, Robert Brayton, Alberto Sangiovanni-Vincentelli
In this paper we propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this will lead to simple, rigorous, and constructive...
A Module Generator for High Speed CMOS Current Output Digital/Analog Converters (1995)
Robert R. Neff, Paul R. Gray, Alberto Sangiovanni-Vincentelli
This paper presents a module generator for Digital/Analog Converter (DAC) circuits. A combination of circuit simulation and DAC design equations is used to estimate performance. A new constrained...
Synthesis of Software Programs for Embedded Control Applications (1995)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, ...
Software components for embedded reactive real-time applications must satisfy tight code size and run-time constraints. Cooperating Finite State Machines provide a convenient intermediate format for...
Embedded System Co-Design: Synthesis And Verification (1995)
Luciano Lavagno Dipartimento, Luciano Lavagno, Alberto Sangiovanni-vincentelli, Harry Hsieh
channels used by the SOLAR internal representation are allocated to physical channels by a channel binding operation. The designer is offered a choice of implementation mechanism (serial, parallel,...
Edoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto Sangiovanni-vincentelli
Techniques are presented for simultaneous placement and module optimization for analog ICs. An algorithmic approach to module generation provides alternative sets of modules, optimized with respect...
Synthesizing Interacting Finite State Machines (1994)
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto Sangiovanni-vincentelli
We present a mathematical framework for analyzing the synthesis of interacting finite state systems. The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in...
A Formal Methodology for Hardware/Software Co-design of Embedded Systems (1994)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Our methodology for control-dominated embedded reactive systems is based on an implementation-independent representation, Codesign Finite State Machines (CFSMs). This representation allows us to...
A Formal Methodology for Hardware/Software Co-design of Embedded Systems (1994)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Our methodology for control-dominated embedded reactive systems is based on an implementation-independent representation, Codesign Finite State Machines (CFSMs). This representation allows us to...
Testing of Analog Systems Using Behavioral Models and Optimal Experimental Design Techniques (1994)
Eric Felt, Alberto Sangiovanni-Vincentelli
This paper describesa new CAD algorithm which performsautomatic test pattern generation (ATPG) for a general class of analog systems, namely those circuits which can be efficiently modeled as an...
Analog Testability Analysis and Fault Diagnosis Using Behavioral Modeling (1994)
Edward Liu, William Kao, Eric Felt, Alberto Sangiovanni-Vincentelli
This paper presents an efficient strategy for testability analysis and fault diagnosis of analog circuits using behavioral models. A key contribution is a new algorithm for determining analog...
Simultaneous Placement and Module Optimization of Analog IC's (1994)
Edoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto Sangiovanni-Vincentelli
New placement techniques are presented which substantially improve the process of automatic layout generation of analog IC's. Extremely tight specifications can be enforced on high-performance...
A Performance-Driven Router for RF and Microwave Analog Circuit Design (1994)
Edoardo Charbon, Bruce Donecker, Alberto Sangiovanni-vincentelli
Techniques are proposed for the routing of very high-frequency circuits. In this approach, performance sensitivities are used to derive a set of bounds on critical parasitics and to generate weights...
Measurement and Modeling of MOS Transistor Current Mismatch in Analog IC's (1994)
Eric Felt, Amit Narayan, Alberto Sangiovanni-vincentelli
This paper presents a new methodology for measuring MOS transistor current mismatch and a new transistor current mismatch model. The new methodology is based on extracting the mismatch information...
A Formal Specification Model for Hardware/Software Codesign (1993)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Embedded controllers for reactive real-time applications are implemented as mixed softwarehardware systems. In this paper we present a model for specification, partitioning, and implementation of...
Formal Design Verification of Digital Systems (1993)
Thomas Shiple, Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, ...
We address the problem of formally proving properties of digital sequential systems. Specifically, our research is focused on building an integrated framework, called HSIS, for supporting automatic...
Generalized Constraint Generation for Analog Circuit Design (1993)
Edoardo Charbon, Enrico Malavasi, Alberto Sangiovanni-Vincentelli
A general methodology is presented for the generation of a complete set of constraints on interconnect parasitics, parasitic mismatch and on the physical topology of analog circuits. The parasitic...
A Formal Specification Model for Hardware/Software Codesign (1993)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Embedded controllers for reactive real-time applications are implemented as mixed softwarehardware systems. In this paper we present a model for specification, partitioning, and implementation of...
Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications (1993)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Embedded controllers for reactive real-time applications are implemented as mixed softwarehardware systems. In [CLJ + 93], a formal specification model called Co-design Finite State Machine (CFSM) is...
Synthesis of Mixed Software-Hardware Implementations from CFSM Specifications (1993)
Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Embedded controllers for reactive real-time applications are implemented as mixed softwarehardware systems. In [CGH + 93], a formal specification model called Co-design Finite State Machine (CFSM) is...
Learning Complex Boolean Functions: Algorithms and Applications (1993)
Arlindo L. Oliveira, Alberto Sangiovanni-Vincentelli
The most commonly used neural network models are not well suited to direct digital implementations because each node needs to perform a large number of operations between floating point values....
SIS: A System for Sequential Circuit Synthesis (1992)
Ellen M. Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Saldanha, ...
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it...
SIS: A System for Sequential Circuit Synthesis (1992)
Ellen M. Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Saldanha, ...
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it...
SIS: A System for Sequential Circuit Synthesis (1992)
Ellen M. Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Saldanha, ...
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it...
SIS: A System for Sequential Circuit Synthesis (1992)
Ellen M. Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Saldanha, ...
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it...
Eric Felt, Edoardo Charbon, Enrico Malavasi, Alberto Sangiovanni-vincentelli
An efficient approach to the symbolic compaction of analog integrated circuits is presented. A fast graph-based algorithm performs a preliminary compaction taking into account a set of basic spacing...
A constraint-driven placement methodology for analog integrated circuits (1992)
Edoardo Charbon, Enrico Malavasi, Umakanta Choudhury, Andrea Casotto, Alberto Sangiovanni-vincentelli
A new constraint-driven methodology for the placement of analog IC's is described. Electrical performance specifications are automatically translated into constraints on the layout parasitics....
A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits (1992)
Henry Chang, Alberto Sangiovanni-vincentelli, Felice Balarin, Edoardo Charbon, Umakanta Choudhury, Gani Jusuf, ...
We describe a top-down, constraint-driven design methodology for Analog Circuits. We delineate some of the tools that support it. Finally, we conclude with examples to better illustrate the...
SIS: A System for Sequential Circuit Synthesis (1992)
Ellen M. Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Saldanha, ...
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it...
A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis (1992)
Alexandre Yakovlev, Luciano Lavagno, Alberto Sangiovanni-vincentelli
Characterization of the behavior of an asynchronous system depending on the delay of components and wires is a major task facing designers. Some of these delays are outside the designer's...
Henry Chang, Eric Felt, Alberto Sangiovanni-Vincentelli
To accelerate the design cycle for analog circuits and mixed-signal systems, we have proposed a top-down, constraint-driven design methodology [1]. In this paper we present a complete design flow to...
Henry Chang, Edward Liu, Robert Neff, Eric Felt, Enrico Malavasi, Edoardo Charbon, ...
To accelerate the design cycle for analog circuits and mixed-signal systems, we have proposed a top-down, constraint-driven design methodology [1]. In this paper we present a design which...
Synthesis for Testability Techniques for Asynchronous Circuits (1991)
Kurt Keutzer, Luciano Lavagno, Alberto Sangiovanni-Vincentelli
Our goal is to synthesize hazard-free asynchronous circuits that are testable in the very stringent hazard-free robust path-delay-fault model. From a synthesis perspective producing circuits...
Empirical Learning of Boolean Functions Using Two-Level Logic Synthesis (1991)
Arlindo L. Oliveira, Alberto Sangiovanni-Vincentelli
Most approaches to the design of networks that learn from examples don't address the architecture design problem except as a side issue. Logic synthesis techniques can be used to derive both the...
A Routing Methodology for Analog Integrated Circuits (1990)
Enrico Malavasi, Umakanta Choudhury, Alberto Sangiovanni-vincentelli
A general methodology for the design of the interconnections of analog circuits respecting high-level constraints on performances is described in this work. In our approach, sensitivities of...