Physics to Tapeout: The Challenge of Scaling Reliability Verification.

Sridhar Srinivasan Matthew Hogan

Published in: IRPS (2019)

Keyphrases

computer science
reliability assessment
artificial intelligence
multiscale
reliability analysis
model checking
probabilistic model
functional verification
high security
asynchronous circuits
failure rate
formal analysis
database
control system
search algorithm
decision making
information systems
data mining