formal methods; Presents case studies for post-silicon debug of industrial SoC