Sell Your Projects | My Account | Careers | This email address is being protected from spambots. You need JavaScript enabled to view it. | Call: +91 9573777164

Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification

1 1 1 1 1 Rating 4.79 (72 Votes)

PROJECT TITLE :

Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification

ABSTRACT:

The complexity of the multicore communication protocols makes it an enormous effort to validate the corresponding register transfer level (RTL). To achieve the high coverage of simulation, this brief proposes a covalidation technique to generate the RTL testbench primarily based on the model-checking technique. An object-oriented event-mapping technique is proposed to remodel the sequential traces created by formal technique to parallel RTL stimulus. A case study on the modified, exclusive, shared and invalid protocol was performed and showed that the covalidation methodology could save significant effort to form RTL testbenches while maintaining high coverage.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here


Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification - 4.8 out of 5 based on 72 votes

Project EnquiryLatest Ready Available Academic Live Projects in affordable prices

Included complete project review wise documentation with project explanation videos and Much More...