Title : 
Developing architectural platforms: a disciplined approach
         
        
            Author : 
Mihal, Andrew ; Kulkarni, Chidamber ; Moskewicz, Matthew ; Tsai, Mel ; Shah, Niraj ; Weber, Scott ; Jin, Yujia ; Keutzer, Kurt ; Vissers, Kees ; Sauer, Christian ; Malik, Sharad
         
        
            Author_Institution : 
California Univ., Berkeley, CA, USA
         
        
        
        
        
        
        
            Abstract : 
The Mescal project brings a formalized, disciplined methodology to the design of programmable platform-based systems, enabling the exploration of a wide array of architectures and a correct-by-construction path to implementation.
         
        
            Keywords : 
computer architecture; system-on-chip; Mescal project; architectural platforms; correct-by-construction path; formalized disciplined methodology; programmable platform-based system design; Application software; Application specific processors; Computer aided instruction; Computer architecture; Design methodology; Embedded system; Production systems; Program processors; System testing; VLIW;
         
        
        
            Journal_Title : 
Design & Test of Computers, IEEE
         
        
        
        
        
            DOI : 
10.1109/MDT.2002.1047739