UCLID5: formal modeling, verification, and synthesis of computational systems
Speculative loop pipelining | UCLID5