What is “formal verification” of hardware?

Vše co se týká techniky, zapojení, ND
Odpovědět
Stewart
Příspěvky: 1
Registrován: stř 11. dub 2018 11:53:29

What is “formal verification” of hardware?

Příspěvek od Stewart »

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
Digital Advertising Examples

Thanks!

Odpovědět