Delaying Safeness for More Flexibility
V. Singhal and C. Pixley and A. Aziz and Robert K. Brayton
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M95/5
1995
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/ERL-95-5.pdf
BibTeX citation:
@techreport{Singhal:M95/5,
Author= {Singhal, V. and Pixley, C. and Aziz, A. and Brayton, Robert K.},
Title= {Delaying Safeness for More Flexibility},
Year= {1995},
Month= {Jan},
Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/2705.html},
Number= {UCB/ERL M95/5},
}
EndNote citation:
%0 Report %A Singhal, V. %A Pixley, C. %A Aziz, A. %A Brayton, Robert K. %T Delaying Safeness for More Flexibility %I EECS Department, University of California, Berkeley %D 1995 %@ UCB/ERL M95/5 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/2705.html %F Singhal:M95/5