@STRING{tcad	= {IEEE Transactions on Computer Aided Design of Circuits and Systems} }
@Article{HLGD:2018e,
  author        = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Verifying {SystemC} using Intermediate Verification Language and Stateful Symbolic Simulation},
  journal       = tcad,
  volume        = {38},
  number        = {7},
  pages         = {1359--1372},
  month         = {July},
  year          = 2019,
}