BDBComp
Parceria:
SBC
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis

D. Borrione,  J. Dushina,  L. Pierre. 

http://csdl.computer.org/dl/proceedings/sbcci/1998/8704/00/87040099.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação
     Mantida por:
LBD