DocumentCode
2833617
Title
Formal specification of an asynchronous processor via action refinement
Author
Sun, Xiuli ; Song, Xiaoyu ; Wu, Jinzhao ; Majster-Cederbaum, Mila
Author_Institution
Chengdu Inst. of Comput. Applications, Chinese Acad. of Sci., China
fYear
2004
fDate
9-10 Sept. 2004
Firstpage
36
Lastpage
41
Abstract
With the purpose of providing a formal specification of pipelines, a central problem in asynchronous hardware design, we show how action refinement can be used to develop asynchronous pipelined microprocessors, where each functional unit of the processor is stepwise obtained, leading to a structured and modular design. Furthermore, the handling of hazard situations is realized during the refinement procedures.
Keywords
asynchronous circuits; formal specification; formal verification; logic design; microprocessor chips; action refinement; asynchronous hardware design; asynchronous pipelined microprocessors; asynchronous processor; aynchronous circuits; formal specification; pipelines; Asynchronous circuits; Computer applications; Formal specifications; Hardware; Hazards; Microprocessors; Pipelines; Process design; Specification languages; Sun; Action refinement; asynchronous circuits; microprocessors; pipelines;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification (MTV'04), Fifth International Workshop on
ISSN
1550-4093
Print_ISBN
0-7695-2320-X
Type
conf
DOI
10.1109/MTV.2004.13
Filename
1563071
Link To Document