Towards formal verification of real-world SystemC TLM peripheral models - a case study.

Hoang Minh Le, Vladimir Herdt, Daniel Groe, Rolf Drechsler

Browse the full DATE paper archive.