An Assume-Guaranteee Rule for Checking Simulation for Multipoint Moment Matching of Multiport Distributed Interconnect Networks

Thomas A. Henzinger, S. Qadeer, S.K. Rajamani, S. Tasiran, J.M.L. Wang and Ernest S. Kuh

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/13
March 1999

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-13.pdf


BibTeX citation:

@techreport{Henzinger:M99/13,
    Author = {Henzinger, Thomas A. and Qadeer, S. and Rajamani, S.K. and Tasiran, S. and Wang, J.M.L. and Kuh, Ernest S.},
    Title = {An Assume-Guaranteee Rule for Checking Simulation for Multipoint Moment Matching of Multiport Distributed Interconnect Networks},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1999},
    Month = {Mar},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3592.html},
    Number = {UCB/ERL M99/13}
}

EndNote citation:

%0 Report
%A Henzinger, Thomas A.
%A Qadeer, S.
%A Rajamani, S.K.
%A Tasiran, S.
%A Wang, J.M.L.
%A Kuh, Ernest S.
%T An Assume-Guaranteee Rule for Checking Simulation for Multipoint Moment Matching of Multiport Distributed Interconnect Networks
%I EECS Department, University of California, Berkeley
%D 1999
%@ UCB/ERL M99/13
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3592.html
%F Henzinger:M99/13