What is “formal verification” of hardware?

  • 72 Views
  • Last Post 2 days ago
greglazor posted this 2 days ago

Hii..

 

I read that testing and verification are different but in what way? I read that somebody writes theory to prove that the hardware is "correct" but how is that done? I tried reading Wikipedia and googling about it but I either end up in too advanced research (HOL4 and theoretical proofs) or brands, standards or outdated deprecated hardware abstraction layer ("HAL") that seems to be not used in general anymore.

 

Please help.

 

I didn't find the right solution from the Internet.

 

References:-

https://tek.io/2HBqdk4

B2B Digital Advertising

 

Thanks!

Order By: Standard | Newest | Votes
Chris posted this 2 days ago

Hi Greglazor,

It is not clear what you are doing, or what the problem is with what Hardware?

Our Hardware section is more so for hardware projects. We do not support any one particular Hardware, yet. In the Future this could change! I have some plans on the drawing board.

   Chris

Marathonman posted this 2 days ago

I hate to be a party pooper but what have you been smoking. using wikipedia for formal verification of hardware sounds like troll action to me then bringing it to this site for verification. i could be wrong, it hasn't been the first time but if i am i will apologize. 

I have a suggestion, try using an amp meter, an ohm meter, an LCR meter and an oscilloscope  the way it is supposed to be used. if you loop it back and it still run's....... your good.

imagine that !

 

Marathonman

  • Liked by
  • Wistiti
  • Chris
Zanzal posted this 2 days ago

I hate to be a party pooper but what have you been smoking. using wikipedia for formal verification of hardware sounds like troll action to me then bringing it to this site for verification. i could be wrong, it hasn't been the first time but if i am i will apologize. 

Opening an account and posting on a completely random subject including what appears to be some sort of advertising link and a tracking url isn't suspicious at all... That's gotta be totally legit.

  • Liked by
  • Chris
Chris posted this 2 days ago

If we get a proper, non Copy Paste reply, this thread will not be deleted.

Lets see what the response is.

   Chris, 

Chris posted this 2 days ago

I guess, what should be noted, on this topic, is that "formal verification" has an extremely broad definition from The Brotherhood of the Trolls!

We could say, these self proclaimed, experts that hide, entirely, their credentials and in part their identity, they think, to "formally verify" all devices to be False and have "Measurement Error" all by themselves, with no access to the machine or the actual Test Data, are really, and truly, desperadoes!

I have not, ever in my life, seen a bunch of Self Proclaimed Experts, so desperate!

Again, I urge you, all readers, this neat trick will give you a list of these same Terrorists:

 

   Chris

Marathonman posted this 2 days ago

Like i said, smoke another bowl. here i thought i had to may beers but in my elder years i can smell a rat miles a way.

Zanzal;

It's gatta be legit, ha, ha, ha

Thanks friends ! you are the best.

Marathonman

  • Liked by
  • Chris
  • Zanzal
Close