|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.
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