Scalable Formal Verification Framework for NoC System Address Map Configurations

Author(s):
Anishmon Soosai, Shivaprasad Naranapura Chandrashekara Swamy, Kavin Rajendran, Kranthi Konganti
Location:
United States
Year:
2026
Type:
Presentation
Format:
pdf