Novel approach for SoC pipeline latency and connectivity verification using Formal Author(s): Deepak Mohan, Senthilnath Subbarayan, Sandeep Kumar Download
