A Module Checking Based Converter Synthesis Approach for SoCs

Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We investigate this problem in a formal setting and propose, for the first time, a temporal logic based automatic solution to con...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sinha, R., Roop, P.S., Basu, S.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Automatic control Automatic logic units Communication system control Control system synthesis Control systems Master-slave Protocols System-on-a-chip Very large scale integration
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!