Design Automation Tools

Software tools for designing electronic systems.

Visible to the public CfP: DSD'2018 - Special Session on Machine- and Deep Learning and AI (AMTDL)

DSD'2018 - Special Session on Machine- and Deep Learning and AI (AMTDL)

Machine learning has numerous important applications in intelligent systems within many areas, like automotive, avionics, robotics, health-care, well-being, and security. The recent progress in Machine Learning (ML), and particularly in Deep Learning (DL), has dramatically improved the state-of-the-art in object detection, classification and recognition, and in many other domains.


Visible to the public New Course on Modeling and Simulation of Cyber-Physical Systems

New Course on Modeling and Simulation of Cyber-Physical Systems

Cyber-physical systems (CPS for short) combine digital and analog devices, interfaces, networks, computer systems, and the like, with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of behaviors in these systems makes their analysis and design an exciting and challenging task.


Visible to the public  RAW 2018
May 21, 2018 7:00 am - May 22, 2018 6:00 pm PDT

The 25th Anniversary of Reconfigurable Architectures Workshop (RAW 2018)

The 25th Reconfigurable Architectures Workshop (RAW 2018) will be held in Vancouver, British Columbia CANADA in May 2018. RAW 2018 is associated with the 32nd Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2018) and is sponsored by the IEEE Computer Society and the Technical Committee on Parallel Processing.


Visible to the public CFP: JETCAS special issue on energy-quality scalable circuits and systems for sensing and computing


Energy-Quality Scalable Circuits and Systems for Sensing and Computing: from Approximate, to Communication-Inspired and Learning-Based

Guest Editors


Visible to the public CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy- aware systems.