This paper documents work that has been carried out to automate the checking of system software architecture specifications of SoCs. Checking the architecture ...

Systems that are designed to “just work” for the end user (with the ability to install and run generic off-the-shelf operating systems out-of-the-box) need to follow a set of minimum hardware and ...