Robert K. Brayton and M. Chiodo and R. Hojati and T. Kam and K. Kodandapani and R.P. Kurshan and S. Malik and Alberto L. Sangiovanni-Vincentelli and E.M. Sentovich and T. Shiple and K.J. Singh and H.Y. Wang

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M91/97

, 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},
    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