YosysHQ (@yosyshq) 's Twitter Profile
YosysHQ

@yosyshq

Sign up to our newsletter! yosyshq.com/newsletter

ID: 1337100214881185794

linkhttps://www.yosyshq.com/ calendar_today10-12-2020 18:22:24

315 Tweet

3,3K Followers

15 Following

YosysHQ (@yosyshq) 's Twitter Profile Photo
YosysHQ
@yosyshq

a year ago

Our latest blog post is by Liam McSherry on how his group is using our formal verification tools for testing a very interesting satellite sensor. 🚀 blog.yosyshq.com/p/community-sp…

Our latest blog post is by Liam McSherry on how his group is using our formal verification tools for testing a very interesting satellite sensor. 🚀 blog.yosyshq.com/p/community-sp…