Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler. Verifying SystemC using an intermediate verification language and symbolic simulation. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 116, ACM, 2013. [doi]
Abstract is missing.