Automating identification of critical memory regions for pre-silicon operating systems

摘要

The present invention provides for automating identification of critical regions in memory. A behavioural software reference model of an operating system is certified as substantially error free. The behavioural software reference model is run of operating system. At least one access pattern of the behavioural software reference model is monitored. A cycle accurate software reference model of operating system is run. At least one access pattern of the cycle accurate software reference model is monitored. The at least one access pattern of the behavioural software reference model is compared with the at least one access pattern of the cycle accurate software reference model, thereby allowing a time saving in the testing process.