Automated Design Behaviour Extraction of SoC Interconnects Using Formal Property Verification

Author(s):
Jan Hahlbeck, Chandana G. P., Görschwin Fey,