loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Workshop on Microprocessor Test and Verification (MTV'04)
Formal Specification of an Asynchronous Processor via Action Refinement
Austin, Texas
September 09-September 10
ISBN: 0-7695-2320-X
ASCII Text
x 
 
Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila Majster-Cederbaum, "Formal Specification of an Asynchronous Processor via Action Refinement," Microprocessor Test and Verification, International Workshop on, pp. 36-41, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/MTV.2004.13,
author = {Xiuli Sun and Jinzhao Wu and Xiaoyu Song and Mila Majster-Cederbaum},
title = {Formal Specification of an Asynchronous Processor via Action Refinement},
journal ={Microprocessor Test and Verification, International Workshop on},
volume = {0},
year = {2004},
issn = {1550-4093},
pages = {36-41},
doi = {http://doi.ieeecomputersociety.org/10.1109/MTV.2004.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Microprocessor Test and Verification, International Workshop on
TI - Formal Specification of an Asynchronous Processor via Action Refinement
SN - 1550-4093
SP36
EP41
A1 - Xiuli Sun,
A1 - Jinzhao Wu,
A1 - Xiaoyu Song,
A1 - Mila Majster-Cederbaum,
PY - 2004
KW - Action refinement
KW - pipelines
KW - microprocessors
KW - asynchronous circuits
VL - 0
JA - Microprocessor Test and Verification, International Workshop on
ER -
 
Xiuli Sun, Chinese Academy of Sciences
Jinzhao Wu, Universität Mannheim
Xiaoyu Song, Portland State University
Mila Majster-Cederbaum, Universität Mannheim
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.
Index Terms:
Action refinement, pipelines, microprocessors, asynchronous circuits
Citation:
Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila Majster-Cederbaum, "Formal Specification of an Asynchronous Processor via Action Refinement," mtv, pp.36-41, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.