C. Trummer

发表

Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs

C.M. Kirchsteiger, J. Grinschgl, C. Trummer, 2008, 2008 2nd Annual IEEE Systems Conference.

SCALEX - a personalized multimedia information system for museums and exhibitions

C. Trummer, J. Martin, 2005 .

Automatic Verification Plan Generation to Speed up SoC Verification

C.M. Kirchsteiger, C. Trummer, C. Steger, 2008, 2008 NORCHIP.

Simulation-based verification of power aware System-on-Chip designs using UPF IEEE 1801

C.M. Kirchsteiger, C. Trummer, C. Steger, 2009, 2009 NORCHIP.