Deterministic Dual-Role I²C Verification via Bus Ownership Invariants and Bounded Runtime Switching

Dual-role I2C endpoints have become a practical necessity in modern system-on-chip (SoC) architectures, where a single IP must alternate between master and slave roles across boot, recovery, and power-management phases. However, existing verification environments are predominantly designed under sta...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Wei-Tzer Huang, Yu-Cheng Liao, Wei-Chen Lin
Format:	Artigo
Język:	Inglês
Wydane:	IEEE 2026-01-01
Seria:	IEEE Access
Hasła przedmiotowe:	Verification IP universal verification methodology dual-role agent bus ownership invariants deadlock-free switching
Dostęp online:	https://ieeexplore.ieee.org/document/11481070/
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!