Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design.
Alireza Abolhasani ZeraatkarParnian Shabani KamranHussain Al-AsaadPublished in: CCWC (2024)
Keyphrases
- hardware design
- hardware designs
- fpga hardware
- hardware implementation
- cryptographic protocols
- model checking
- field programmable gate array
- hardware description language
- integrity verification
- pattern recognition
- image processing
- graphical models
- information processing
- standard model
- formal verification
- fault localization