Malek Haroud

Learn More
In this paper we present a novel method for designing and validating a HW accelerated MAC controller for Ultra Wide band systems. Guaranteed response time and low power consumption are the two main drivers for the proposed HW/SW partitioning. We propose to use the SDL formalism in a way that facilitates the refinement verification of the SDL model against(More)
We present a tool that automatically checks the existence of a bisimulation relation between an SDL specification and the corresponding auto-generated C code. The tool has been used to verify part of the C implementation of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL specification using the Telelogic(More)
  • 1