We're hiring: Applications engineer for Yosys-based formal verification, starting Jan 2018. Anywhere. PM for more information. Please RT.
-
-
Your toy engine will be larger than my largest non-toy verified software so I'm still intrigued!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.