Both the Thrusts and Themes cover a much broader scope
than reflected in this particular directory. However,
cross-references to other activities are provided.
Paul Losleben is the primary researcher in this area.
CAD, Circuits and Testing
This is a rather diverse
set of projects that include not only synthesis, verification
and design aspects but also supporting technologies such as
modeling of packages and on-chip testing.