Case Study: SoC Performance Verification and Static Verification of RTL Parameters.

Prokash Ghosh Rohit Srivastava

Published in: MTV (2019)

Keyphrases

case study
model checking
concurrent systems
real time
artificial intelligence
signature verification
learning algorithm
information systems
face recognition
expert systems
formal verification
verification method