NISC Center would like to congratulate Dr. Rafik Guindi for his accepted Journal Papers in 2016, Which is published in the Journal of Applied Mechanics and Material
- Sherif Agamy, Ahmed Sayed, and Rafik Guindi, “Model checking formal verification methodology for virtual channel NoCs,” Applied Mechanics and Material, 850, 30 -37, 2016.
The increasing complexity of System on a Chip (SOC) using Network on a Chip (NoC) results in significant increases in traditional verification times. Formal methods fully prove design properties, without deadline vs. coverage compromises, hence tremendously reducing time to market. In this work we use the CONNECT NOC to illustrate our new white box formal verification methodology. We develop constraints and assertions for properties verification. Our methodology is faster than the current methods; it also uncovered key gaps in current practices. In addition, our assertion checkers can be reused both in simulation and as monitors on silicon.