Avronna Incorporated

Avronna is pioneering Avronna Reasoning Intelligence (Ari) to solve the hardest interdisciplinary problems in chipmaking. Ari dynamically and autonomously assesses why, whether, and how the chip designs work throughout the journey from concept to manufacture. Ari reasons through interdependencies, anticipates failure points, and actively improves the design. Ari radically boosts productivity of chip design teams and EDA tools; leads to 25% faster go-to-market; and creates over $1bn in savings per volume chip. Ari goes beyond the limitations of Large Language Models (LLMs) and flexibly combines traditional test-based stimulus with machine learning, theorem proving, formal methods, and large language models. Ari makes human readable, industrial quality testbenches and formal verification proofs that are able to explain themselves quickly to other expert human verification engineers so that system-level debug is a managed process, and not a “whodunit” mystery. We are emerging from stealth and seeking seed investors.