Verifying a Vci Bus Interface Model Using an Lsc-based Specification

@inproceedings{Bunker2002VerifyingAV,
  title={Verifying a Vci Bus Interface Model Using an Lsc-based Specification},
  author={Annette Bunker and Ganesh Gopalakrishnan},
  year={2002}
}
Because of the high stakes involved in integrating externally developed intellectual property (IP) c ores used in System on Chip (SOC) designs, methods and tool support for quick, easy, decisive standard compliance verification must be developed. Such methods and tools include formal standard specifications that are easy to read, formal definitions of standard compliance and automatic generation of model checking assertions which together imply compliance. We compare two efforts in verifying… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

Similar Papers

Loading similar papers…