BLIF-MV: An Interchange Format for Design Verification and Synthesis
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
1991
BibTeX citation:
@techreport{Brayton:M91/97,
Author = {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},
Title = {BLIF-MV: An Interchange Format for Design Verification and Synthesis},
Institution = {EECS Department, University of California, Berkeley},
Year = {1991},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1991/1861.html %F Brayton:M91/97