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

Current specification flows often use standard text processors to capture formal register and memory map information of hardware designs along with other less formal types of specification text.