Non-classical Slicing Optimization Runtime Verification Approach for Synchronization

Reusing the existing IP cores to compose globally asynchronous locally synchronous system is gaining increasing importance for the upcoming system-on-chip designs.The correct interface design and synchronization issue become a crucial step for the whole development process.timing diagrams and predication detection method with non-classical computation slicing optimization technique for synchronization.It is very effective due to exponential gains in reducing the global state space.