https://github.com/amamory/hermes-trojan
Example of hardware trojan in a router detected with formal property verification
https://github.com/amamory/hermes-trojan
assertions formal-verification network-on-chip property-based-testing sva systemverilog trojan vhdl
Last synced: 3 months ago
JSON representation
Example of hardware trojan in a router detected with formal property verification
- Host: GitHub
- URL: https://github.com/amamory/hermes-trojan
- Owner: amamory
- Created: 2019-10-15T22:03:25.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-10-21T15:34:42.000Z (over 5 years ago)
- Last Synced: 2025-01-22T07:33:23.352Z (4 months ago)
- Topics: assertions, formal-verification, network-on-chip, property-based-testing, sva, systemverilog, trojan, vhdl
- Language: VHDL
- Homepage:
- Size: 622 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: