VeriTrust: Verification for Hardware Trust.
Jie ZhangFeng YuanLingxiao WeiYannan LiuQiang XuPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2015)
Keyphrases
- hardware designs
- low cost
- hardware and software
- trust model
- trust evaluation
- vlsi implementation
- computing systems
- hardware implementation
- model checking
- computer systems
- real time
- massively parallel
- trusted computing
- embedded systems
- formal verification
- asynchronous circuits
- functional verification
- hardware design
- multi agent
- image processing
- neural network
- trust management
- trust relationships
- computing power