Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi. Functional Test-Case Generation by a Control Transaction Graph for TLM Verification. In Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany. pages 157-164, IEEE, 2007. [doi]
Abstract is missing.