This sessions defines the necessary extensions to the Digital Structured Formal Verification to the Mixed-Signal environment. Extending the Structured Formal Verification to the Mixed-Signal domain is about covering how to write Mixed-Signal properties to the same database used in the Digital domain for proper Coverage Management and thus, improve the overall Quality.