Bus Wrapper1 IP2 Bridge IP3 IP1 Wrapper2 Systems / n-Play / /
Facility
University of New South Wales Vijay D’silva / /
IndustryTerm
communication protocols / non-deterministic protocols / /
Organization
IIT Bombay School of Computer Science and Engineering / S. Ramesh & Arcot Sowmya Center for Formal Design and Verification of Software / University of New South Wales / /
Position
Chip Bus Arbiter Peripheral Bus Arbiter / /
Product
SDI iP1 Speakers / /
ProgrammingLanguage
D / /
Region
South Wales / /
Technology
Finite State Machine / non-deterministic protocols / two protocols / p.1/24 Peripheral Bus On−Chip / communication protocols / /
Automated Interface Synthesis for Mismatched Protocols Vijay D’silva & S. Ramesh & Arcot Sowmya Center for Formal Design and Verification of Software, IIT Bombay School of Computer Science and Engineering, University o