Design Automation Tools

Software tools for designing electronic systems.

Visible to the public Resiliency-Aware Deployment of SDN in Smart Grid SCADA: A Formal Synthesis Model

The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.


Visible to the public Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission

A smart grid is a widely distributed engineering system with overhead transmission lines. Physical damage to these power lines, from natural calamities or technical failures, will disrupt the functional integrity of the grid. To ensure the continuation of the grid's operational flow when those phenomena happen, the grid operator must immediately take steps to nullify the impacts and repair the problems, even if those occur in hardly-reachable remote areas.


Visible to the public Postdoc and PhD positions in Assured Machine Learning, NTU, Singapore

Project Description: Over the last few years, Artificial Intelligence (AI) systems have achieved super-human performance in specific yet complex tasks across diverse environments (e.g., image recognition, language translation, complex games like Go). Given their effectiveness, we aim to employ AI (or Agent) Training Programs (ATPs) to generate scenarios automatically for training (on specific tasks) in safety-critical applications while addressing the issue of trust to improve adoption:


Visible to the public  IEEE ICM 2020 - Virtual
Dec 14, 2020 7:00 am - Dec 17, 2020 6:00 pm IST

IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020)

The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world's 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.


Visible to the public  FPL 2020 - Virtual
Aug 31, 2020 7:00 am - Sep 04, 2020 6:00 pm EDT

30th International Conference on Field Programmable Logic and Applications (FPL 2020)

The International Conference on Field-Programmable Logic and Applications (FPL) was the first and remains the largest conference covering the rapidly growing area of field-programmable logic and reconfigurable computing. During the past 29 years, many of the advances in reconfigurable system architectures, applications, embedded processors, design automation methods and tools were first published in the proceedings of the FPL conference series.


Visible to the public Assistant Professor position on Intelligent Robotics

The Department of Electrical and Computer Engineering at the University of California, Santa Cruz invites applications for a Tenure Track Assistant Professor in Intelligent Robotics.


Visible to the public 2020 Swedish Summer School on Cyber-Physical Systems

Dear friends,

It is my pleasure to announce to you the speakers for the next edition of the Swedish Summer School: