A Formal Approach to Optimal Register Binding with Ordered Clocking for Clock-Skew Tolerant Datapaths

Keisuke Inoue, Mineo Kaneko. A Formal Approach to Optimal Register Binding with Ordered Clocking for Clock-Skew Tolerant Datapaths. IEICE Transactions, 95-A(12):2330-2337, 2012. [doi]

Abstract

Abstract is missing.