Interface-based design

A new system design methodology is proposed that separates communication from behavior To demonstrate the methodology we applied it to a simple ATM design. Since verification is clearly a major stumbling block for large system design, we focussed on the verification aspects of our methodology. In particular a simulator was developed that is based on the communication paradigm typical of our methodology The simulator gives substantial performance improvements without sacrificing user access to detail. Finally, the potential for this methodology to improve verification, modeling and synthesis is explored.