DAC 2018 - Tagged with Keywords>Test & Verification

Designer Track Invited

16.1 - A Buggy SoC Framework for Security Assurance Research –Hack@DAC 2018 Case Study

10:30 AM–12:00 PM Jun 26, 2018

Designer Track Invited

16.2 - Finalist team 1 from 2018 Hack@DAC presents their approach - Hackin' Aggies

10:30 AM–12:00 PM Jun 26, 2018

Designer Track Invited

16.3 - Finalist team 2 from 2018 Hack@DAC presents their approach - TRELA

10:30 AM–12:00 PM Jun 26, 2018

Designer Track Invited

16.4 - Finalist team 3 from 2018 Hack@DAC presents their approach - TPTSIC

10:30 AM–12:00 PM Jun 26, 2018

Designer Track Invited

16.5 - Finalist team 4 from 2018 Hack@DAC presents their approach - Dallas Bugboys

10:30 AM–12:00 PM Jun 26, 2018

Special Session

22.1 - Semi-automatic Safety Analysis and Optimization

1:30 PM–3:00 PM Jun 26, 2018

Special Session

22.2 - Reasoning about Safety of Learning-enabled Components in Autonomous Cyber-physical Systems

1:30 PM–3:00 PM Jun 26, 2018

Special Session

22.3 - Runtime Monitoring for Safety of Intelligent Vehicles

1:30 PM–3:00 PM Jun 26, 2018

Designer Track Reviewed

34.1 - Micgelo : A Proven Flow to Reduce Clock Tree Power with Fast TAT

3:30 PM–5:00 PM Jun 26, 2018

Designer Track Reviewed

34.2 - Efficient Power Aware DFT Methodology to Handle Implementation Challenges

3:30 PM–5:00 PM Jun 26, 2018

Designer Track Reviewed

34.3 - Differential Energy Analysis For Improved Performance/Watt In Mobile GPU

3:30 PM–5:00 PM Jun 26, 2018

Designer Track Reviewed

34.4 - A Bottom-up Methodology to Evaluate Silicon Power Consumption for a Large Number of Application-specific Scenarios

3:30 PM–5:00 PM Jun 26, 2018

Designer Track Reviewed

34.5 - A Special-purpose Instruction Set and Microarchitecture for Low-power, Dynamic IoT Communication

3:30 PM–5:00 PM Jun 26, 2018

Designer Track Reviewed

34.6 - The Quest for Easy Power-aware SW Development: A Novel Approach to DSP Code Profiling for Energy/Performance Tradeoffs

3:30 PM–5:00 PM Jun 26, 2018

Special Session

39.1 - Verification of Deep Neural Networks with SMT

10:30 AM–12:00 PM Jun 27, 2018

Special Session

39.2 - Formal Methods for Deep Learning

10:30 AM–12:00 PM Jun 27, 2018

Special Session

39.3 - Automated Systematic Testing of Deep Learning Systems

10:30 AM–12:00 PM Jun 27, 2018

Research Reviewed

40.1 - Approximation-Aware Coordinated Power/Performance Management for Heterogeneous Multi-Cores

10:30 AM–12:00 PM Jun 27, 2018

Research Reviewed

40.2 - QoS-Aware Stochastic Power Management for Many-Cores

10:30 AM–12:00 PM Jun 27, 2018

Research Reviewed

40.3 - Employing Classification-Based Algorithms for General-Purpose Approximate Computing

10:30 AM–12:00 PM Jun 27, 2018