Metrics Driven Sign-off for SoC Specific Logic (SSL) Using Formal Techniques Author(s): Abhinav Gaur, Gaurav Jain, Ruchi Singh Download
