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

Identifier

  • REPORT NUMBER: RWTH-CONV-200549