Smart Speed技术----利用SpecC方法来创建移动设备架构.pdf

White Paper Smart Speed™ Technology Results of Modeling for Embedded Applications Mike Olivarez M.Olivarez@F Brian Beasley Brian.Beasley@F Document Number: SMSPTECHWP Rev 0 07/2007 Overview This paper presents the results of how Freescale used the SpecC Methodology to create architectures for the mobile device space, implementing our Smart Speed™ Technology. The solutions incorporate a generic processor architecture for code compatibility, but require additional peripherals to enable the solution’s full system-level requirements. A summary of how we used the methodology to enable the system to contain the needed capabilities shows that a higher level of confidence can be introduced into a complex embedded system at higher levels of abstraction. The overview gives a short explanation of the SpecC Methodology and some examples of how we used the methodology to verify the system to meet performance, cost and market requirements, benefiting both the engineering and business aspects of creating solutions. Contents 1 Introduction 1 2 The SpecC Methodology 1 3 Specification Model 2 4 Architecture Model 5 5 Communications Model 7 6 Creating Smart Speed Technology 8 7 Conclusion 10 8 References 11 Reprinted with permission, this paper is a derivative of previously published work: Olivarez, M. and Beasley, B. IFIP: International Federation for Information Processing, Volume 231, Embedded System Design: Topics, Techniques and Trends, eds. Rettberg, A., Zanell