Nice to see 'cover' and the prime number examples. Good luck and have fun!
Boarding first of two connecting flights to Dresden for DUHDE (DATE). ETA in Dresden is 16:50. Slides for my presentation tomorrow: http://www.clifford.at/papers/2018/duhde/ …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Are you aware if there are any open sourced FPGA Architectures emerging soon? In my opinion the time black boxes is soon gone..
-
There have been a few academic projects, but nothing you could buy on digikey. :) Open source ICs is hard (because of things like IP and cell library licenses). But I hope some vendors will start to openly document their bit-stream formats soon.
- Show replies
New conversation -
-
-
typo on last/references page: "this slides" instead of "these slides"
-
Thanks, I will fix it before giving the talk. I think I also wrote "difference testing" when I meant to write "mutation testing" in the slide about the test bench fuzzer project.
End of conversation
New conversation -
-
-
That's pretty cool, my JG algorithms can also deal with Universal/Existencial properties. This is very nice, I assume your backend is dealing with checkers and free variables well, right?pic.twitter.com/9LB9VcdOrL
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.