Very Basic Introduction to Formal Verification

[@tamergudu3793]

Very good practical introduction to formal verfication. Now I understand that what the formal verification is. Thanks.

[@amk1108]

I looked you up on LinkedIn because you seemed like an interesting guy. Apparently you went to Cooper! I'm going to Cooper right now! In fact I'm watching this as I'm doing my linear algebra homework 1am in the morning lol. Maybe when I graduate with a degree in electrical, I'll actually be able to understand half the stuff your talking about XD

[@inesc4401]

Thanks for your video, help me a lot.

[@nikhilkumar5819]

Great video as always, Robert.
Just one tip : Increase the font size from next time. Like for example in your subtract module its hard to differentiate between '=' and '-' :P

[@haakonness]

what happened to your CPU on a FPGA project? :/

[@vector8310]

Frustrating that I cannot humanly read what's going on, even with a magnifying glass.

[@sgracem2863]

Thank you! yosys

[@vickywei5990]

thanks a lot. one thing wants to point out, $rose is not only for one bit.

[@andrew1717xx]

Do you think you ll get a chance to break down a new Tesla graphics card and all of its components?

[@ktmkrue7853]

Dobrze i ciekawie przedstawione. Gratuluję samozaparcia do realizacji materiału

[@TomStorey96]

This is great. I might be able to ditch WinCUPL and WinSIM!

[@adumont]

Thanks Robert for taking the time to create this practical demo on FV Basics. It's a very good intro.

[@terminatordoink]

Can you do a tutorial on writing files to EMV chips?

[@urieal]

If I send you a VIC-II chip from a commodore 64, can you reverse engineer it?

[@RobertBaruch]

No, sorry, I have more than enough projects!

[@nilp0inter2]

Great demo! Super interesting topic.

[@alexjhonson7575]

Just subscribed 👍👍👍

[@naikrovek]

ooh I wish this was actually 1080p video

[@jope4009]

Or just increase the font size next time.