Component-based modeling for complex digital logic systems

摘要

With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to increase its efficiency and reduce the cost of engineering, design cycles should tend to be more convenient. This paper presents a modeling methodology for complex digital logic components. It contains formal definition and calculation system of components. Component-based modeling can help the developers to understand the design intent preferably and speed up the development of system. The formal definition gives the specification of components. The calculation system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification.