Trustworthy specifications of ARM® v8-A and v8-M system level architecture.

Published in: FMCAD (2016)

Keyphrases

management system
real time
metadata
natural language
higher level
lower level
data flow
levels of abstraction
functional requirements
distributed architecture