Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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
1999


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},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1999/3592.html
%F Henzinger:M99/13