Publications

Publications

< retour aux publications

Formal Verification of the Allocation Step in High Level Synthesis

Auteur(s) : J. Dusina, D. Borrione, A. A. Jerraya

Doc. Source: Forum on Design Languages (FDL'98)