A UVM-based Verification Approach for MIPI DSI Low-Level Protocol layer.
Ahmed Mohamed AliAhmed ShalabySherif M. SaifMohamed TaherPublished in: ICM (2022)
Keyphrases
- low level
- application layer
- cryptographic protocols
- protocol specification
- high level
- formal analysis
- lower level
- model checker
- higher level
- protocol stack
- model checking
- lightweight
- formal proof
- colored petri nets
- multi layer
- formal verification
- mid level
- coloured petri nets
- spherical harmonics
- middle level
- formal methods
- visual features
- petri net
- network protocols
- visual information
- end to end
- low level features
- visual cues
- authentication protocol
- signature verification
- formal specification
- face verification
- tcp ip
- wireless communication
- network layer
- database systems
- neural network