-
“Code Coverage of Assertions Using RTL Source Code Analysis”
Speaker:
Shobha Vasudevan | Univ. of Illinois, Urbana, ILAuthors:
Viraj Athavale | Univ. of Illinois at Urbana-Champaign, IL
Sai Ma | Univ. of Illinois at Urbana-Champaign, IL
Samuel L. Hertz | Univ. of Illinois at Urbana-Champaign, IL
Shobha Vasudevan | Univ. of Illinois at Urbana-Champaign, IL
“Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware”
Speaker:
Leonidas Kosmidis | Univ. Politècnica de Catalunya, SpainAuthors:
Jaume Abella | Barcelona Supercomputing Center, Barcelona, Spain
Eduardo Quinones | Barcelona Supercomputing Center, Barcelona, Spain
Franck Wartel | Airbus, Toulouse, France
Glenn Farrall | Infineon Technologies AG, Stoke Gifford, United Kingdom
Francisco J. Cazorla | Barcelona Supercomputing Center, Barcelona, Spain -
“The Evil’s in the Edits”
Speaker:
William Wallace | Texas Instruments, Inc., Dallas, TXAuthors:
William Wallace | Texas Instruments, Inc., Dallas, TX
Nitin Jayaram | Texas Instruments, Inc., Dallas, TX
Nitin Mhaske | Atrenta Inc., San Jose, CA -
“Application-Specific Hierarchical Power Management for Multicast High Efficiency Video Coding”
Speaker:
Muhammad Shafique | Karlsruhe Institute of Technology, Karlsruhe, GermanyAuthors:
Muhammad Usman Karim Khan | Karlsruhe Institute of Technology, Karlsruhe, Germany
Muhammad Shafique | Karlsruhe Institute of Technology, Karlsruhe, Germany
Joerg Henkel | Karlsruhe Institute of Technology, Karlsruhe, Germany