Co-design methodology based on formal specification and high-level estimation

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 1996, Pages 28-35

  Carreras, C ^a   Lopez, J C ^a   Lopez, M L ^a   Delgado Kloos, C ^a   Martinez, N ^a   Sanchez, L ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LANGUAGES;

ABSTRACTION LEVELS; DESCRIPTION LANGUAGE LOTOS; FORMAL SPECIFICATION; HARDWARE/SOFTWARE CODESIGN; HIGH LEVEL ESTIMATION; PARTITIONING ALGORITHMS;

COMPUTER ARCHITECTURE;

EID: 0029698295     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)