A practical high-level methodology case study: Implementation of an ATM over SDH transceiver from the system specification

Abstract

A methodology is proposed to obtain a full verified system from an architecture specification. In order to validate this methodology, a system specification document is used as starting point. Thus, this specified system is partitioned in average size modules and then each module is described itself in design specification documents, which are the basis of their implementation using Hardware Description Languages (HDL). The obtained results show that a complex digital system is developed guaranteeing the specifications, and, on the other hand, the optimization of the human resources and the effort of engineering.