loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1999 IEEE International Conference on Computer Design (ICCD'99)
Improving Witness Search Using Orders on States
Austin, Texas
October 10-October 13
ISBN: 0-7695-0406-X
ASCII Text
x 
 
Rob Sumners, Jayanta Bhadra, Jacob Abraham, "Improving Witness Search Using Orders on States," Computer Design, International Conference on, pp. 452, 1999 IEEE International Conference on Computer Design (ICCD'99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/ICCD.1999.808580,
author = {Rob Sumners and Jayanta Bhadra and Jacob Abraham},
title = {Improving Witness Search Using Orders on States},
journal ={Computer Design, International Conference on},
volume = {0},
year = {1999},
issn = {1063-6404},
pages = {452},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCD.1999.808580},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Design, International Conference on
TI - Improving Witness Search Using Orders on States
SN - 1063-6404
SP
EP
A1 - Rob Sumners,
A1 - Jayanta Bhadra,
A1 - Jacob Abraham,
PY - 1999
VL - 0
JA - Computer Design, International Conference on
ER -
 
Rob Sumners, University of Texas At Austin
Jayanta Bhadra, University of Texas At Austin
Jacob Abraham, University of Texas At Austin
We present a method for constructing concrete executions or witnesses to abstract behavior specifications. The key concept is the use of an ordering on states which preserves containment of behaviors seen from the states. We present a modified depth-first search algorithm which uses the ordering to prune the requisite search paths and the memory needed for the history of the search. We apply the search to a model of a super-scalar pipeline.
Citation:
Rob Sumners, Jayanta Bhadra, Jacob Abraham, "Improving Witness Search Using Orders on States," iccd, pp.452, 1999 IEEE International Conference on Computer Design (ICCD'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.