“Caspia's SVX tool uses multiple collaborating LLM agents to generate secure and formally provable SystemVerilog assertions for formal verification.”