Title :
Modeling of various addressing schemes for microprocessors using Petri-Net
Author :
Khare, Alok K. ; Hura, G.S.
Author_Institution :
Reynolds & Reynolds, Dayton, OH, USA
Abstract :
Modeling of various features of the Motorola MC6800 microprocessor using PN (Petri net) theory is considered. It is argued that problems faced in the approach by G.S. Hura and J.W. Atwood (1985) will be overcome in the proposed method which provides a unified approach for the program verification of any general microprocessor system. This approach is illustrated through an example
Keywords :
graph theory; microprocessor chips; program verification; Motorola MC6800; Petri-Net; addressing schemes; microprocessors; program verification; unified approach; Application software; Computer science; Control systems; Data flow computing; Fires; Hardware; Microprocessor chips; Petri nets; Programming profession; Protocols;
Conference_Titel :
Aerospace and Electronics Conference, 1988. NAECON 1988., Proceedings of the IEEE 1988 National
Conference_Location :
Dayton, OH
DOI :
10.1109/NAECON.1988.195079
