Pcal verification