[PPT] - Verification and Synthesis of Symmetric Uni-Rings for Leads-To PowerPoint Presentation