C. Pixley, V. Singhal, A. Aziz and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M94/31
April 1994
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/ERL-94-31.pdf
BibTeX citation:
@techreport{Pixley:M94/31, Author = {Pixley, C. and Singhal, V. and Aziz, A. and Brayton, Robert K.}, Title = {Multi-Level Synthesis for Safe Replaceability}, Institution = {EECS Department, University of California, Berkeley}, Year = {1994}, Month = {Apr}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2550.html}, Number = {UCB/ERL M94/31} }
EndNote citation:
%0 Report %A Pixley, C. %A Singhal, V. %A Aziz, A. %A Brayton, Robert K. %T Multi-Level Synthesis for Safe Replaceability %I EECS Department, University of California, Berkeley %D 1994 %@ UCB/ERL M94/31 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2550.html %F Pixley:M94/31