SystemC based Model Refinement Flow for System Verification of a GNSS Receiver Frontend

Chen, Zhimiao; Wang, Yifan; Heinen, Stefan

München (2012) [Contribution to a conference proceedings]

CDNLive2012 : Munich, 14-16 May