Observations From Design Technology
Formal models of the underlying target computational environment are critical to long-term success
- Boolean Algebra, Finite Automata, Data Flow, etc.
The overall methodology for design and verification must be carefully thought through keeping in mind the users cost model
- Beware of religious approaches! Hide the formalisms wherever possible
Wherever possible and practical, employ a Design-for-X approach (combination of methodology and formalisms)
- Today, X= test, verification, low power, small size, ...