Peugeot Forum

What is “formal verification” of hardware?
Stránka 1 z 1

Autor:  Stewart [ sob 14. dub 2018 10:08:26 ]
Předmět příspěvku:  What is “formal verification” of hardware?


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.

Digital Advertising Examples


Stránka 1 z 1 Všechny časy jsou v UTC + 1 hodina [ Letní čas ]
Powered by phpBB® Forum Software © phpBB Group