probe verification, implemented in IBEX