Stuart Sutherland;Simon Davidmann;Peter Flake;P. Moorby
-;-;-;-
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference