PASCAL: Timing SCA Resistant Design and Verification Flow.

Xinhui Lai Maksim Jenihhin Jaan Raik Kolin Paul

Published in: CoRR (2020)

Keyphrases

knowledge based systems
design process
engineering design
data sets
neural network
case study
user interface
information systems
web services
multiscale
building blocks
model checking
formal verification
functional verification