Observations From Design Technology
Use of abstract covers (involving dont cares) extracted from the structure of a design dramatically simplify many aspects of synthesis and verification
- Humans do not design combinatorially complex systems, we just choose to represent them that way!
If synthesis is performed well, it dramatically reduces the complexity of the verification task
- Users vote with their wallets for a pay me now approach, rather than a pay me later choice