Session 7 • Friday, February 23, 2007
Rm: Siskiyou Ballroom
10:30 am - 12:00 pm
Advances in Research - I
Session Chair: Wolfgang Meuller - Paderborn Univ./C-Labs

7.1 System-level Synthesis from Transaction-level Models: Algorithms and Tools
Rainer Doemer, Daniel D. Gajski - Univ. of California

7.2 Automatic Transactor Generation in TLM by Exploiting EFSMs
Franco Fummi - Universita di Verona

7.3 A Prototypic Language for Transaction Level Assertions
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten - Infineon Technologies AG