References

The Stainless/Inox stack has emerged as a cleaner and leaner version of the Leon synthesis and verification framework. Leon is documented in several papers and talks, which provide additional information on the algorithms and techniques we used in Leon (and now Stainless/Inox).

Videos

Papers

Books