Nobuyuki Ohba Kohji Takano Hardware Design Verification Using Signal Transitions and Transactions. 1012-1017 2006 89-A IEICE Transactions 4 http://dx.doi.org/10.1093/ietfec/e89-a.4.1012 db/journals/ieicet/ieicet89a.html#OhbaT06