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
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;
Conference_Titel :
Microprocessor Test and Verification (MTV'04), Fifth International Workshop on
Print_ISBN :
0-7695-2320-X
DOI :
10.1109/MTV.2004.13
