CONCISE METHODOLGY FOR DEVELOPMENT OF COMPLEX DIGITAL ELECTRONIC SYSTEMS

Development of simple digital electronic circuits can be easily done using combinational logic theory such as Boolean Algebra and Karnaugh Maps, along with tools such as Xilinx Schematic Editor. Even medium-sized systems can be developed this way. What about complex digital electronics systems? Utilizing the same procedure may be tedious and hence will be best done using a more effective and structured procedure, along with use of hardware descriptive languages. This paper therefore presents a concise methodology for the development of complex digital electronics systems. The paper will focus on all aspects including the specification, formal specification and modelling of the system, the choice of development platforms, hardware description, and even the formal verification and validation of such system. An example will be used as the basis of the formal specification and modelling aspect of the paper to ensure that readers can quickly absorb the material presented. The author intends for the contents of this paper to be informative and expects that developing digital design engineers find this methodology useful in development of systems they attempt to pursu