1 Table of Contents: “.... Validating Deep Sub-Micron Effects -- 2.1 Chapter Overview -- 2.2 Trends in DSM VLSI Interconnect -- 2.3...”

2 Table of Contents: “... of Continuous-Discrete Processes -- Hybrid I/O Automata Revisited -- Validating a Hamilton-Jacobi Approximation...”

3 “..., representation, validation, and design exploration of such systems from a high-level perspective. The authors...”

4 “.../architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis...”