تقدم الورقة نظام أنواع لوصف بروتوكولات الاتصال الحساسة لدورات الساعة بين مكونات العتاد. ويهدف إلى اكتشاف حالات عدم التوافق التي قد تسبب تبادلاً غير متزامن أو توقف التقدم عند جمع مكونات صممت منفصلة.

يصوغ المؤلفون سلامة الاتصال كخاصية شاملة ويدرسون التحقق الساكن لوصف العتاد. هذا بحث في الطرق الشكلية ولا يذكر اعتماداً في سلسلة أدوات تصميم الشرائح.