InFormal Chat

Archive for the 'Formal Methodology' Category

Introduction to Formal, general methodology

 

Managing Initial State to Head Start Formal Verification

Wouldn’t it be nice to get a head start on some things in life? How great would it be to just be able to walk straight to the front of any queue you find yourself in? For me, I’d like a head start on those long flights from the UK to California. If I could […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Managing Initial State to Head Start Formal Verification

 

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 […]

Continue Reading...

Posted in Formal Methodology, Introduction | Comments Off on Artificial Intelligence, let us get the math right first!

 

Don’t have a Meltdown over a Spectre in your SoC

You may be concerned about the widely published Spectre and Meltdown vulnerabilities affecting most processors, and if your phone and computer are OK. Or more importantly, if you are designing or verifying SoCs, do you have a specter in your design? Let’s first look at what these two vulnerabilities are and how they are affecting […]

Continue Reading...

Posted in Automation, Formal Methodology, Property Verification | Comments Off on Don’t have a Meltdown over a Spectre in your SoC

 

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 […]

Continue Reading...

Posted in Formal Methodology, Introduction, Property Verification | Comments Off on Corner case bugs – Formal got you covered

 

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. The same holds […]

Continue Reading...

Posted in Events, Formal Methodology, Introduction, Property Verification | Comments Off on DVCon 2018 Tutorial – The Magic of Formal Revealed

 

Divide and Conquer – Formal for Large Designs

As we have discussed in several of the blogs on this forum, successful deployment of Formal verification requires knowing where and how to use it. Building up an arsenal of techniques that can be applied to deal with complexity and knowing how to use them safely is a necessity for every expert Formal engineer. So […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Divide and Conquer – Formal for Large Designs

 

Tearless Formal Verification

Cooking can be a necessity, hobby or calming therapy depending on whom you talk to. Personally speaking, I cook occasionally but even when I am not cooking and I am just a mere silent admirer of this amazing process, onion peeling/cutting/chopping brings tears to my eyes 😀 There are few tricks that one could use to […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Tearless Formal Verification

 

“Phalanx” – Greek warfare strategy for Formal Property Verification

When running Formal Property Verification, we often see goals that are neither proven nor failing (especially on complex properties), which implies inconclusive goals, also referred to as bounded proofs. In these scenarios, what we have at hand is the Formal bounded depth (in terms of clock cycles), associated with such inconclusive properties. As hard working […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on “Phalanx” – Greek warfare strategy for Formal Property Verification

 

Mutation superpower in formal model checking? You betcha!

We have been fascinated with the stories of superheroes from X-Men. Who is not impressed with the power of mutation capability of the superheroes?   The stories really hit it big when Hollywood became interested in the mid-1990s.  Coincidentally, just around the same time formal model checking started to get attention in hardware verification.  In those […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Mutation superpower in formal model checking? You betcha!

 

Goldilocks and the three constraints!

  Ever since I started working in verification it’s always felt like a huge responsibility. It’s up to me to make sure that this design doesn’t have a bug that could sneak its way into silicon, then into millions of consumer products, bankrupting the company or worse. I always felt like missing that one issue […]

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Goldilocks and the three constraints!