DocumentCode
2983858
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
fYear
1988
fDate
23-27 May 1988
Firstpage
680
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Aerospace and Electronics Conference, 1988. NAECON 1988., Proceedings of the IEEE 1988 National
Conference_Location
Dayton, OH
Type
conf
DOI
10.1109/NAECON.1988.195079
Filename
195079
Link To Document