@oe1cxw Hi Clifford, I found out about you via the Amp Hour podcast, I'm an EE student and I was wondering if you could point me to any resources for learning about formal verification for embedded systems? Haven't had much luck using the usual channels.
Are you looking to verify software or hardware. I like cbmc for formal verification of C code and SymbiYosys (the tool I wrote) for formal verification of Verilog RTL.
-
-
Software, I'm writing some code in c for a pulse counter running on an avr chip
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks a bunch for replying too!
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.