Up to a few years ago, the approaches taken to check whether a hardware component works as expected could be classi ed under one of two styles: hardware engineers in the industry would tend to exclusively use simulation to (empirically) test their c
Global System for Mobile communication (GSM) is a widely accepted standard for digital cellular communication. It has become the mobile communication standard in more than 160 countries all over the globe. In this paper, we are interested in modelin
