@mastersthesis{mastersthesis2f09caec,
title   = {Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth},
author = {Romero Tobar, Edgar Leonardo and Wang, Jiang Chau},
year = {2005},
school = {Universidade de São Paulo}
}