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


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


  • Presentations referencing similar topics