Login / Signup
Verification of Digital RF Processors: RF, Analog, Baseband, and Software.
Khurram Muhammad
Thomas Murphy
Robert Bogdan Staszewski
Published in:
IEEE J. Solid State Circuits (2007)
Keyphrases
</>
radio frequency
relevance feedback
software development
formal methods
model checking
parallel processing
software tools
processor array
image retrieval
scheduling problem
source code
parallel algorithm
formal verification