A 2.2mW CMOS LNA for 6–8.5GHz UWB receivers

A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS

A Constraint-driven Placement Methodology For Analog Integrated Circuits

A Contract-based Framework for Integrated Demand Response Management in Smart Grids

A Design Flow for Building Automation and Control Systems

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components

A Platform-Based Methodology for System-Level Mixed-Signal Design

A Study on Monetary Cost Analysis for Product-Line Architectures

A distributed minimum variance estimator for sensor networks

A framework for comparing models of computation

A hierarchical coordination language for interacting real-time tasks

A macromodeling algorithm for analog circuits

A massively parallel algorithm for three-dimensional device simulation

A mixed frequency-time approach for distortion analysis of switching filter circuits

A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation framework

scientific article

A module generator for high-speed CMOS current output digital/analog converters

A new aggregation technique for the solution of large systems of algebraic equations (IC simulation)

scholarly article by G. Casinovi & Alberto Sangiovanni-Vincentelli published 1988 in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

A new algorithm for the largest compositionally progressive solution of synchronous language equations

article

A synthesis and optimization procedure for fully and easily testable sequential machines

A theoretical framework for simulated annealing

An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems

An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting

An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design

An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electrical Architectures

article published in 2007

An embedded system for an eye-detection sensor

scholarly article by Arnon Amir et al published April 2005 in Computer Vision and Image Understanding

Applying harmonic balance to almost-periodic circuits

article by K.S. Kundert et al published 1988 in IEEE Transactions on Microwave Theory and Techniques

ArchEx

Architecture of field-programmable gate arrays

Area routing for analog layout

Automated Design of Chiplets

scientific article published on 22 March 2023

Automated design management using traces

Automatic Code Generation for Synchronous Reactive Communication

Automatic generation of analytical models for interconnect capacitances

article published in 1995

Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits

article by U. Choudhury & Alberto Sangiovanni-Vincentelli published 1993 in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Automation of IC layout with analog constraints

Automotive networks

Boolean decomposition in multilevel logic optimization

Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation

COSI: A Framework for the Design of Interconnection Networks

Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

Co-design of control algorithm and embedded platform for building HVAC systems

Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint

Constrained Synthesis from Component Libraries

article by Antonio Iannopollo et al published 2017 in Lecture Notes in Computer Science

Constraint-based channel routing for analog and mixed analog/digital circuits

Constraints Assisted Modeling and Validation in Metropolis Framework

Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts

scientific article published on 08 December 2023

Corsi e Ricorsi: The EDA Story

Cyber-Security for the Controller Area Network (CAN) Communication Protocol

DAC turns 40!

DELIGHT.SPICE: an optimization-based system for the design of integrated circuits

Design Space Exploration of Automotive Platforms in Metropolis

Design and Optimization of an MB-OFDM Ultra-Wideband Receiver Front-End

Design of embedded systems: formal models, validation, and synthesis

article by S. Edwards et al published March 1997 in Proceedings of the IEEE

Development of Building Automation and Control Systems

article

E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks

EDA meets biology! The bumpy road ahead [Perscetives]

Editor's foreword

Education panel

Efficient Solution of Optimal Control Problems Using Hybrid Systems

Electronic-system design in the automobile industry

Electronics: The New Differential in the Automotive Industry

article

Embedded System Design for Automotive Applications

article by Alberto Sangiovanni-Vincentelli & Marco Di Natale published October 2007 in Computer

Embedding Mixed-Signal Design in Systems-on-Chip

article published in 2006

Extensible and scalable time triggered scheduling

FSM Encoding for BDD Representations

scholarly article by Wilsin Gosti et al published 1 March 2007 in International Journal of Applied Mathematics and Computer Science

Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures

Formal models for embedded system design

Fresh air

Functional Model Exploration for Multimedia Applications via Algebraic Operators

scholarly article

Guest Editorial Special Issue on Automotive Embedded Systems

Guest Editorial Special Issue on Circuits and Systems for the Internet of Things—From Sensing to Sensemaking

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software

Hardware-software codesign of embedded systems

Hybrid control in automotive applications: the cut-off control

INDEX: an inductance extractor for superconducting circuits

scholarly article by P.M. Xiao et al published March 1993 in IEEE Transactions on Applied Superconductivity

Improving the Size of Communication Buffers in Synchronous Models With Time Constraints

Individual cylinder characteristic estimation for a spark injection engine

Integrated Electronics in the Car and the Design Chain Evolution or Revolution?

scholarly article

Interchange Format for Hybrid Systems: Abstract Semantics

Intravehicular Energy-Harvesting Wireless Networks: Reducing Costs and Emissions

article published in 2017

Introduction: trends and directions in microelectronics (Guest Editors' Introduction)

Irredundant sequential machines via optimal logic synthesis

Is a Unified Methodology for System-Level Design Possible?

Iterative Node Deployment in an Unknown Environment

JPEG encoding on the Intel MXP5800: a platform-based design case study

Limitations and challenges of computer-aided design technology for CMOS VLSI

Linear programming for hazard elimination in asynchronous circuits

Logic verification algorithms and their parallel implementation

Logical Reliability of Interacting Real-Time Tasks

article

Loosely time-triggered architectures based on communication-by-sampling

scholarly article published 2007

MUSTANG: state assignment of finite state machines targeting multilevel logic implementations

Maximizing the stability radius of a set of systems under real-time scheduling constraints

Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks

Metamodeling: An Emerging Representation Paradigm for System-Level Design

Metamodels in Europe: Languages, Tools, and Applications

Methodology for the Design of Analog Integrated Interfaces Using Contracts

Methods and Tools for Calculating the Flexibility of Automotive HW/SW Architectures

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures

Metropolis

Metropolis: an integrated electronic system design environment

article by F. Balarin et al published April 2003 in Computer

Microarchitecture development via metropolis successive platform refinement

article

Minimum Energy coding in CDMA Wireless Sensor Networks

Model matching for finite-state machines

article

Model-Based Hierarchical Optimal Control Design for HVAC Systems

article

Modelling and simulation techniques for highly integrated, low-power wireless sensor networks

Multi-level logic minimization using implicit don't cares

NOVA: state assignment of finite state machines for optimal two-level logic implementation

Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models

article by Guoqiang Wang et al published November 2010 in IEEE Transactions on Industrial Informatics

Optimization of task allocation and priority assignment in hard real-time distributed systems

Optimized implementation of synchronous models on industrial LTTA systems

Optimizing Extensibility in Hard Real-Time Distributed Systems

Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems

scholarly article by Qi Zhu et al published November 2010 in IEEE Transactions on Industrial Informatics

Performance analysis of collaborative spatio-temporal processing for wireless sensor networks

Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis

Period Optimization for Hard Real-time Distributed Automotive Systems

Physical Architectures of Automotive Systems

Platform based design for wireless sensor networks

Platform based design for wireless sensor networks

Platform-based design and software design methodology for embedded systems

scholarly article by Alberto Sangiovanni-Vincentelli & G. Martin published 2001 in IEEE Design and Test of Computers

Platform-based embedded software design and system integration for autonomous vehicles

Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect

Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design

article by Alberto Sangiovanni-Vincentelli published March 2007 in Proceedings of the IEEE

Randomized Algorithms for Platform-based Design

Randomized protocol stack for ubiquitous networks in indoor environment

Reduced offsets for minimization of binary-valued functions

article published in 1991

Remembering Richard [Obituary, Richard A.Newton]

Retiming and resynthesis: optimizing sequential networks with combinational techniques

Robustness in analog systems: Design techniques, methodologies and tools

Runtime deadlock analysis for system level design

SAT Sweeping with Local Observability Don’t-Cares

SAT sweeping with local observability don't-cares

SERAN: A semi random protocol solution for clustered wireless sensor networks

SERAN: a Protocol for Clustered WSNs in Industrial Control and Automation

article published in 2009

Schedulability Analysis of Petri Nets Based on Structural Properties

Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment

Scheduling for embedded real-time systems

article published in 1998

Security-Aware Design Methodology and Optimization for Automotive Systems

Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems

Semantics-Preserving Design of Embedded Control Software from Synchronous Models

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code

Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System

Smart Connected Buildings Design Automation: Foundations and Trends

Software Components for Reliable Automotive Systems

Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor

Statistical analysis of Controller Area Network message response times

Stochastic Analysis of CAN-Based Real-Time Automotive Systems

Substrate optimization based on semi-analytical techniques

Symbolic minimization of multilevel logic and the input encoding problem

Synchronous approach to the functional equivalence of embedded system implementations

Synthesis for testability techniques for asynchronous circuits

Synthesis method for field programmable gate arrays

Synthesis of Multitask Implementations of Simulink Models With Minimum Delays

Synthesis of embedded networks for building automation and control

article published in 2008

System Level Design for Clustered Wireless Sensor Networks

System-level design: a strategic investment for the future of the electronic industry

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

article by Alberto Sangiovanni-Vincentelli et al published January 2012 in European Journal of Control

Techniques for multilayer channel routing

Test generation for sequential circuits

The State of ESL Design [Roundtable]

The Swarm at the Edge of the Cloud

article

The Tire as an Intelligent Sensor

The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem

The importance of innovation in the economy of advanced countries

article

The tides of EDA

Three-dimensional capacitance evaluation on a Connection Machine

ThunderBird: a complete standard cell layout package

article by C. Sechen et al published April 1988 in IEEE Journal of Solid State Circuits

Timing analysis of process graphs with finite communication buffers

Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control

article

Uniprocessor scheduling under precedence constraints for embedded systems design

article published in 2007

Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network

article

Verification of Nyquist data converters using behavioral simulation

Yield Prediction for 3D Capacitive Interconnections