What is “formal verification” of hardware?

Ooh qui est cute

What is “formal verification” of hardware?

Messagepar breckjensen » 21 Déc 2017, 08:26


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.

I have created a 4-bit ALU (with Quartus) that actually works if I load the FPGA with the ALU.I used the logical primitives and wrote tests for the ALU. Now I want to learn more and understand the difference between testing and verifying in general and how to prove that an actual hardware is working correctly.

I see that ML is used in projects using HOL theorem prover. Is that something within my reach of understanding and handling if I am intermediate programmer and engineer? I know mathematics and programming but I'm not good at physics.

Please Help.


I didn't find the right solution from the internet.
References: http://thecydoniainstitute.proboards.com

Creative Web Animation Promotion
Messages: 168
Inscrit le: 27 Sep 2017, 08:42

Retour vers Mac mini

Qui est en ligne ?

Utilisateur(s) parcourant ce forum : Aucun utilisateur inscrit et 1 invité