Login / Signup

System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations.

Muhammad HassanDaniel GroßeRolf Drechsler
Published in: ASP-DAC (2021)
Keyphrases
  • levels of abstraction
  • higher level
  • model checking
  • relevance feedback
  • semantic relations
  • databases
  • video sequences
  • low level
  • signature verification
  • radio frequency