Verification of the Legacy Compatibility of the MIPI I3C Master.

Mario Golubic Jurica Kundrata Adrijan Baric

Published in: MIPRO (2021)

Keyphrases

model checking
databases
database
data sets
neural network
decision making
database systems
video sequences
reverse engineering
formal analysis
formal verification
functional verification