Modern digital integrated circuits are increasingly becoming more and more complex, with several internal logic blocks, submodules and interconnections. Not only the functionalities they implement are quite complicated, but they must perform their tasks with stringent timing, area and power requirements. Due to these reasons, verification of integrated circuits is becoming more important. Thanks to the verification process, it is possible to make sure that new devices behave according to their specifications in a timely manner, reducing the time to market. Moreover, it allows to significantly shrink the number of bugs reaching the physical production stage of chips, preventing costly manufacturing errors and increasing the product reliability.