Observations From Design Technology
Powerful mathematical abstractions that are well-matched to the target implementation medium lead to dramatic improvements in implementation efficiency
- In hardware, such advantages are sufficient justification for actually changing the characteristics of the target implementation fabric
Methodology in the Design-for-X class can be used to constrain the problem to meet a particular utility objective
- For example, a single-clock synchronous model for abstracting time