“Axiom is exploring early partnerships with customers on use cases in chip verification and code verification.”