Robert K. Brayton, M. Chiodo, R. Hojati, T. Kam, K. Kodandapani, R.P. Kurshan, S. Malik, Alberto L. Sangiovanni-Vincentelli, E.M. Sentovich, T. Shiple, K.J. Singh and H.Y. Wang
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M91/97
November 1991
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/ERL-91-97.pdf
BibTeX citation:
@techreport{Brayton:M91/97, Author = {Brayton, Robert K. and Chiodo, M. and Hojati, R. and Kam, T. and Kodandapani, K. and Kurshan, R.P. and Malik, S. and Sangiovanni-Vincentelli, Alberto L. and Sentovich, E.M. and Shiple, T. and Singh, K.J. and Wang, H.Y.}, Title = {BLIF-MV: An Interchange Format for Design Verification and Synthesis}, Institution = {EECS Department, University of California, Berkeley}, Year = {1991}, Month = {Nov}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1861.html}, Number = {UCB/ERL M91/97} }
EndNote citation:
%0 Report %A Brayton, Robert K. %A Chiodo, M. %A Hojati, R. %A Kam, T. %A Kodandapani, K. %A Kurshan, R.P. %A Malik, S. %A Sangiovanni-Vincentelli, Alberto L. %A Sentovich, E.M. %A Shiple, T. %A Singh, K.J. %A Wang, H.Y. %T BLIF-MV: An Interchange Format for Design Verification and Synthesis %I EECS Department, University of California, Berkeley %D 1991 %@ UCB/ERL M91/97 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1861.html %F Brayton:M91/97