Unique ACS Approach
ACS is an automatic system for Power architecture compliance validation. It automatically generates compliance test cases given predefined coverage models that systematically address the various kinds of plausible architecture misinterpretations. This system was successfully used as the main means for the compliance validation of two industrial Power processor designs (PA-Semi's PA6T and AMCC's Titan). During its application, ACS uncovered numerous compliance bugs.
ACS's scope of applicability encompasses the Power architecture version 2.04 for both server and embedded designs.