Basic Principles
Design Methodology general enough to capture most of application domains
Existing methods should be modeled to allow transition
Powerful policies to allow fast development of complex systems with correctness guarantees
Policies supported by verification and synthesis tools both at the abstract and at the physical level
Constraint-based Approach to generate appropriate guiding principles for Subsequent Implementation steps
Validation of ideas can only come by applying it to “real” designs
From Alberto Sangiovanni-Vincentelli