A Dataflow-Driven Behavioral Modeling Method for RF System Design Validation | AMiner