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: about 1 month 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 (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-10-21T15:34:42.000Z (about 5 years ago)
• Last Synced: 2023-05-23T10:33:34.676Z (over 1 year ago)
• Topics: assertions, formal-verification, network-on-chip, property-based-testing, sva, systemverilog, trojan, vhdl
• Language: VHDL
• Homepage:
• Size: 622 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project