Title : 
System-on-a-chip cosimulation and compilation
         
        
            Author : 
Liem, Clifford ; Naçabal, François ; Valderrama, Carlos ; Paulin, Pierre ; Jerraya, Ahmed
         
        
            Author_Institution : 
TIMA Lab., SGS-Thomson Microelectron., Grenoble, France
         
        
        
        
        
        
        
            Abstract : 
Complex consumer products with multiple functions on a single chip demand new design and verification methods for interfunctioning hardware and software components. The authors´ new techniques address this need
         
        
            Keywords : 
application specific integrated circuits; circuit analysis computing; formal verification; hardware description languages; high level synthesis; compilation; complex consumer products; design methods; interfunctioning hardware components; interfunctioning software components; system-on-a-chip cosimulation; verification methods; Assembly; Code standards; Computer architecture; Design methodology; Discrete cosine transforms; Embedded software; Hardware; ISO standards; Production; System-on-a-chip;
         
        
        
            Journal_Title : 
Design & Test of Computers, IEEE