An overview of the objectives, the language, and show a demonstration of applying the PSS to a real world SoC verification task. In this first of 3 parts, the introduction to the language and the objectives motivating the solution.