InFormal Chat

Archive for the 'Introduction' Category

Introduction to Formal Verification

 

I’m too lazy to read…show me a video

I can’t remember when I last opened a technical manual or document to looked up how to do something. Maybe it was when I bought a 56K modem in 1999 to connect to the World Wide Web.

Continue Reading...

Posted in Introduction |

 

Artificial Intelligence, let us get the math right first!

Artificial intelligence is a hot topic these days and therefore doesn’t require a repeat of the current and future potential uses for AI. For most people it means technology advancements on the software side but If you ask people who are very close to this technology domain, building your own optimized hardware chips is where significant part of the competitive edge lies.

Continue Reading...

Posted in Formal Methodology, Introduction |

 

Corner case bugs – Formal got you covered

Imagine the scene. It’s Friday night, and you’ve decided to relax and watch a movie. Given the overwhelming amount of choices, you’ve already spent over an hour watching trailers to choose the movie and you’re finally almost ready to go. All that’s left is the popcorn. You go over to the microwave and get it going. For a little while nothing happens, but then you start to hear the pops, slowly at first but then much more rapidly before beginning to taper off. You then have to ask yourself: When do I stop? This is a big question. Take it out too soon and you’re going to break your teeth on those unpopped kernels. Leave it in too long and you risk burning it. How can you know if its popped long enough?

Continue Reading...

Posted in Formal Methodology, Introduction, Property Verification |

 

DVCon 2018 Tutorial – The Magic of Formal Revealed

We have all witnessed many magic tricks that seem to perform the impossible. How did he guess my number? Where did that rabbit come from? How did she survive getting sawed in two? Without knowing the tricks of the trade, it is very hard for you and I to reproduce such magic.

Continue Reading...

Posted in Events, Formal Methodology, Introduction, Property Verification |

 

Welcome to InFormal Chat

We are very excited to launch a series of fun blogs from our distinguished team of formal verification experts. These blogs will share exciting and insightful information about the latest advancements and practical applications for formal property verification solutions used by the design and verification community.

Continue Reading...

Posted in Introduction |