Efficient Top Down Design and Verification of a Bluetooth Transceiver using the IEEE 1076.1 Language Standard.

Marius Sida Guido Clemens

Published in: MBMV (2006)

Keyphrases

design process
high level
mobile phone
functional verification
context aware
model checking
case study
knowledge based systems
language learning
design principles
formal verification