“In a benchmark, Caspia's tools completed a full security verification workflow on the open-source Calyptra hardware root of trust RTL in less than one hour.”