The verification of any sufficiently complex system quickly becomes a huge bottleneck for basestation designers as well as system designers. Basestations use algorithms that are difficult to implement ...