(Back to Session Schedule)

The 20th Asia and South Pacific Design Automation Conference

Session 7A  Ensuring the Correctness of System Integration
Time: 10:15 - 12:20 Thursday, January 22, 2015
Location: Room 102
Chairs: Takeshi Matsumoto (Ishitawa National College of Tech.), Akash Kumar (Natioanl Univ. of Singapore, Singapore)

7A-1 (Time: 10:15 - 10:40)
TitleEvaluation of Runtime Monitoring Methods for Real-Time Event Streams
Author*Biao Hu, Kai Huang, Gang Chen, Alois Knoll (Technical Univ. of Muenchen, Germany)
Pagepp. 582 - 587
Detailed information (abstract, keywords, etc)
Slides

7A-2 (Time: 10:40 - 11:05)
TitleAutomatic Timing-Coherent Transactor Generation for Mixed-Level Simulations
Author*Li-chun Chen, Hsin-I Wu, Ren-Song Tsay (National Tsing Hua Univ., Taiwan)
Pagepp. 588 - 593
Detailed information (abstract, keywords, etc)
Slides

7A-3 (Time: 11:05 - 11:30)
TitleHybrid Coverage Assertions for Efficient Coverage Analysis Across Simulation and Emulation Environments
AuthorHsuan-Ming Chou, Hong-Chang Wu, Yi-Chiao Chen, *Jean Tsao, Shih-Chieh Chang (National Tsing Hua Univ., Taiwan)
Pagepp. 594 - 599
Detailed information (abstract, keywords, etc)
Slides

7A-4 (Time: 11:30 - 11:55)
TitleSWAT: Assertion-Based Debugging of Concurrency Issues at System Level
Author*Luis Gabriel Murillo, Róbert Lajos Bücs, Daniel Hincapie, Rainer Leupers, Gerd Ascheid (RWTH Aachen Univ., Germany)
Pagepp. 600 - 605
Detailed information (abstract, keywords, etc)

7A-5 (Time: 11:55 - 12:20)
TitleCommunication Protocol Analysis of Transaction-Level Models Using Satisfiability Modulo Theories
Author*Che-Wei Chang, Rainer Doemer (Univ. of California, Irvine, U.S.A.)
Pagepp. 606 - 611
Detailed information (abstract, keywords, etc)
Slides