Title : 
A System Design Methodology for Reducing System Integration Time and Facilitating Modular Design Verification
         
        
            Author : 
Shannon, Lesley ; Fort, Blair ; Parikh, Samir ; Patel, Arun ; Saldaña, Manuel ; Chow, Paul
         
        
            Author_Institution : 
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont.
         
        
        
        
        
        
            Abstract : 
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols between processing elements (PEs) using PE-specific SIMPPL controllers. The implementation of a real-time MPEG-1 video decoder using SIMPPL provides a practical demonstration of how the complexity of system-level design issues are reduced by enabling rapid system-level integration and on-chip verification. The adaptation of the MPEG-1 PEs into the SIMPPL framework combined with the system-level integration was accomplished in 72.5 hours, which is only 4.5% of the overall system design time, instead of the more typical system integration times that can be as much as 30% of the design time
         
        
            Keywords : 
formal verification; integrated circuit modelling; logic design; video coding; 72.5 hours; MPEG-1 PE; PE-specific SIMPPL controllers; SIMPPL system architectural model; communication protocols; modular design verification; on-chip verification; processing elements; real-time MPEG-1 video decoder; system design methodology; system integration time; system-level design; system-level integration; Communication system control; Control systems; Decoding; Field programmable gate arrays; Hardware; Physics computing; Protocols; Software design; System-level design; System-on-a-chip;
         
        
        
        
            Conference_Titel : 
Field Programmable Logic and Applications, 2006. FPL '06. International Conference on
         
        
            Conference_Location : 
Madrid
         
        
            Print_ISBN : 
1-4244-0312-X
         
        
        
            DOI : 
10.1109/FPL.2006.311227