Select a calendar:
Filter September Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for September 21, 2017
-
Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods
Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Clark Barrett, Stanford University
Talk Title: Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods
Abstract: Ensuring the correctness of integrated circuits (ICs) is essential for ensuring the correctness, safety and security of the many electronic systems we rely on. However, the effort required to validate ICs continues to be a major bottleneck in modern system design. To make matters worse, difficult bugs still escape into post-silicon and even production systems. I will present a set of results based on Quick Error Detection (QED). The standard QED technique is a testing technique which drastically reduces error detection latency, the time elapsed between the occurrence of an error caused by a bug and its manifestation as an observable failure. I will then present two new techniques, Symbolic QED and Electrical QED which use formal methods to dramatically extend the reach of QED: to automatically detect and localize both logic and electrical bugs during both pre- and post-silicon validation. Experimental results collected from several commercial designs as well as hardware platforms demonstrate the effectiveness and practicality of these methods. For example, for a 500 million transistor multi-core IC, Symbolic QED automatically detected and localized difficult logic design bugs (the kind that could escape traditional simulation-based pre-silicon verification) in only a few hours (~ 8 hours on average). This research was performed at Stanford University in collaboration with Prof. Subhasish Mitra, several graduate students, and several industrial collaborators.
Biography: Clark Barrett is an associate professor (research) of computer science at Stanford University, with expertise in constraint solving and its applications to verification. His PhD dissertation introduced a novel approach to constraint solving now known as satisfiability modulo theories (SMT). His subsequent work on SMT has been recognized with a best paper award at DAC, an IBM Software Quality Innovation award, the Haifa Verification Conference award, and first-place honors at the SMT, CASC, and SyGuS competitions. He was also an early pioneer in the development of formal hardware verification: at Intel, he collaborated on a novel theorem prover used to verify key microprocessor properties; and at 0-in Design Automation (now part of Mentor Graphics), he helped build one of the first industrially successful assertion-based verification tool-sets for hardware.
Host: Pierluigi Nuzzo, x09079, nuzzo@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Gerrielyn Ramos
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Hong-Linh Truong, Priv.Doz and an Assistant Professor, TU Wien (Vienna University of Technology), Austria
Talk Title: Managing and Testing Ensembles of IoT, Network functions, and Clouds
Abstract: By leveraging virtualization and pay-per-use models, we believe that eventually applications will easily acquire IoT, network functions, and cloud services together to establish a virtual, unified resource ensemble across various subsystems from different IoT, network and cloud providers. But this will require us to research and develop various programming and management utilities. In this talk, we will first discuss the necessity and feasibility of application-level resource slice provisioning. We will overview our SINC - Slicing IoT, Network functions, and Clouds - as an approach for provisioning resource slices of end-to-end IoT, network functions, and cloud capabilities for novel requirements from a wide range of IoT/CPS applications. We will present several works on service engineering analytics for SINC, including harmonizing IoT, network functions, and cloud resources, supporting end-to-end monitoring and analytics, and testing uncertainties.
Some links to related tools:
http://rdsea.github.io/
http://sincconcept.github.io/
http://sincconcept.github.io/HINC/
https://github.com/tuwiendsg/COMOT4U/
http://tuwiendsg.github.io/iCOMOT/
Biography: Hong-Linh Truong is currently a Priv.Doz and an assistant professor for Service Engineering Analytics at TU Wien (Vienna University of Technology), Austria. He received an engineer degree from the Bach Khoa University (HoChiMinh City University of Technology), Vietnam, in 1998, a PhD degree, in 2005, and a Habilitation, in 2013, both from TU Wien, Austria; all in computer science and engineering. His main research interest focuses Systems, Software, Data and Service Engineering Analytics by developing novel techniques and tools for monitoring, analyzing, and optimizing functions, performance, data quality, elasticity, and uncertainties associated with systems, software, data and services. His research has been applied to: Monitoring, Analysis and Optimization Techniques for Programs, Data and Systems; Parallel, Grid and Cloud Computing, and IoT; Data Service Models and Analytics; Socio-technical Services Engineering; and Elastic Computing. Furthermore, he is interested in (free) ICT solutions for (under) developing countries. He had delivered several invited talks and he published more than 180 refereed papers in books, conferences/workshops and journals. He (co)receives an outstanding paper award, seven best paper awards, one best paper run-up award, and one best poster award. Contact him at truong@dsg.tuwien.ac.at (http://dsg.tuwien.ac.at/staff/truong).
Host: Bhaskar Krishnamachari and Paul Bogdan
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Estela Lopez
