Transaction-Level System Modeling

Daniel Gajski and Samar Abdi, “Transaction-Level System Modeling”, in Practical Design Verification (D. K. Pradhan and I. G Harris, eds), Cambridge University Press, 2009