Christos Zouboulis Abdallah Tabbara Alberto L. Sangiovanni-Vincentelli

It is with great pleasure that I write this Foreword to the Proceedings of the International Conference on Behcet's Disease which was held in Berlin in June 2002. This was the first International Conference held under the auspices of the International Society for Behcet's Disease which was founded in 2000 in Seoul. First, I congratulate our colleagues in Berlin, led by Professor Christos Zouboulis of the Department of Dermatology at the Free University of Berlin, for having organised a most successful conference and for having compiled these proceedings so rapidly. It will be realised...

It is with great pleasure that I write this Foreword to the Proceedings of the International Conference on Behcet's Disease which was held in Berlin i...

Harry Hsieh Felice Balarin Alberto L. Sangiovanni-Vincentelli

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems...

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionall...

Sunil P. Khatri Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a host of electrical problems like cross-talk, electromigration, self-heat, etc. are becoming important. Cross-talk is one of the major problems since it results in unpredictable design behavior. In particular, it can result in significant delay variation or signal integrity problems in a wire, depending on the state of its neighboring wires. Typical approaches to tackle the cross-talk problem attempt to fix the problem once it is created. In our...

This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a ...

Bassam Tabbara Abdallah Tabbara Alberto L. Sangiovanni-Vincentelli

Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimizationand Co-Design of Embedded Systems presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach incorporates both data flow and control optimizations performed on a suitable novel intermediate design task representation. The aim is not only to enhance productivity of the designer and system developer, but also to improve...

Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization <...

Kenneth S. Kundert Jacob K. White Alberto L. Sangiovanni-Vincentelli

The motivation for starting the work described in this book was the interest that Hewlett-Packard's microwave circuit designers had in simulation techniques that could tackle the problem of finding steady- state solutions for nonlinear circuits, particularly circuits containing distributed elements such as transmission lines. Examining the problem of computing steady-state solutions in this context has led to a collection of novel numerical algorithms which we have gathered, along with some background material, into this book. Although we wished to appeal to as broad an audience as possible,...

The motivation for starting the work described in this book was the interest that Hewlett-Packard's microwave circuit designers had in simulation tech...

Luciano Lavagno Alberto L. Sangiovanni-Vincentelli

Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to eliminate totally the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems such as interfaces became a serious...

Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. Th...

Amit Mehrotra Alberto L. Sangiovanni-Vincentelli Sangiovanni-Vincentelli

In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical high level specifications, for instance, system bit error rate or signal to noise ratio. Hence, predicting noise in RF systems at the design stage is extremely important. Additionally, with the growing complexity of modern RF systems, a flat transistor-level noise analysis for the entire system is becoming increasingly difficult. Hence accurate modelling at the component level and behavioural level simulation techniques are also becoming...

In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical hi...

Maria Domenica D Maria D. D Alberto L. Sangiovanni-Vincentelli

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics,...

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30,...

In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical high level specifications, for instance, system bit error rate or signal to noise ratio. Hence, predicting noise in RF systems at the design stage is extremely important. Additionally, with the growing complexity of modern RF systems, a flat transistor-level noise analysis for the entire system is becoming increasingly difficult. Hence accurate modelling at the component level and behavioural level simulation techniques are also becoming...

In high speed communications and signal processing applications, random electrical noise that emanates from devices has a direct impact on critical hi...

Alberto L. Sangiovanni-Vincentelli Timothy Kam Tiziano Villa

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that:

compute all permissible sequential functions for a given topology of interconnected FSMs, and

select a best' sequential function out of the permissible ones.

The result is a symbolic description of the FSM representing the chosen sequential...

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs)...