SDL specification and verification of universal personal computing: with Object GEODE

Abstract

Support of nomadic computing on the Internet requires the design of new protocols handling issues of user mobility. Our efforts target the universal personal computing (UPC) system to provide a continuous personal computing environment for mobile users. We selected SDL as a specification language for this new service, which allowed us to use Verilog’s SDL… (More)

3 Figures and Tables

Topics

  • Presentations referencing similar topics