This paper describes an automated waiver processing methodology and implementation that is accurate and efficient, and can significantly reduce debug tasks and time. The proposed method includes all waiver types commonly encountered, and provides designers and verification teams a degree of customizable control to waive an error only under certain contexts and constraints, which can vary for different errors, designs, or IP.
This paper documents work that has been carried out to automate the checking of system software architecture specifications of SoCs. Checking the architecture manually can be time consuming and prone to error. This is especially true on architectures that are large and complex. To achieve automation the architecture specification methodology is first represented as UML meta-models to highlight associations that can be checked. These are then analyzed to determine the checks to be carried out. The analysis indicated the checks relating to constructional, completeness, consistency and connectivity could be achieved.