Our formal tools are now available on AWS

To get started, download our setup instructions that take you step by step through the process of starting your first instance.

Recent Posts

A recent paper entitled “Finding and Understanding Bugs in FPGA Synthesis Tools” by Yann Herklotz and John Wickerson describes a new tool...