Example of hardware trojan in a router detected with formal property verification
Primary LanguageVHDL