Peugeot Forum
http://www.peugeot-forum.cz/

What is “formal verification” of hardware?
http://www.peugeot-forum.cz/what-formal-verification-hardware-t1894.html
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?

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!

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