“Caspia Technologies offers a tool that performs security verification on RTL throughout the entire hardware design lifecycle.”