The scope of the work with dynamic assertions was to implement property checking using dynamic verification tool like Cadence IUS, using assertion language like PSL and OVL library in a RTL. The work ...

PSL Energy Services Ltd has appointed Erlend Corrigall to the newly created post of Vice President Business Development (Wells). PSL Energy Services Ltd has appointed Erlend Corrigall to the newly ...