應(yīng)用程序和軟件服務(wù)是智能手機和平板電腦等移動設(shè)備的主要區(qū)別。復雜多功能軟件應(yīng)用程序的原型設(shè)計、開發(fā)、調(diào)試和驗證是一項重大工作，當軟件依賴于仍在開發(fā)中的硬件功能且電路板尚不可用時，這尤其具有挑戰(zhàn)性。

今天的硬件是根據(jù)軟件需求定義和配置的?；诟鞣N軟件和硬件服務(wù)（如音頻/視頻、GPS、傳感器和無線電）的應(yīng)用程序的啟動帶來了重大的調(diào)試挑戰(zhàn)。調(diào)試不會在單個軟件模塊、庫或軟件層的邊界處結(jié)束；它涉及分析多個軟件實體之間的交互。同樣，驗證需要涵蓋功能性能和功率要求。

對于復雜軟件服務(wù)的原型設(shè)計、開發(fā)、調(diào)試和驗證，Synopsys 提供了一個同時解決軟件和硬件架構(gòu)的原型設(shè)計環(huán)境。該環(huán)境的核心是 ARM Cortex-A9x4 四核 Versatile Express 板的虛擬原型（圖 1），它捆綁了完整的 Android 2.1 端口。軟件開發(fā)人員可以充分利用 Cortex-A9 CPU 以及 Android 和 Linux 2.6 內(nèi)核支持的四路對稱多處理 （SMP）。

圖 1： Synopsys 虛擬查看器簡化了 Java 應(yīng)用程序中的本機代碼分析和調(diào)試。

通過虛擬化以太網(wǎng)連接，通過 Android Debug Bridge 與 Google 的基于 Eclipse 的軟件開發(fā)工具包集成，虛擬原型可用于一般的 Android 應(yīng)用程序開發(fā)。它提供了專門的支持來簡化 Java 應(yīng)用程序中的本地代碼分析和調(diào)試。越來越多的性能關(guān)鍵代碼以及遺留 C 代碼被編譯到 ARM CPU 的本機庫中。挑戰(zhàn)在于調(diào)試這些庫以及 Java 應(yīng)用程序、Android 運行時環(huán)境、中間件庫和操作系統(tǒng)。這對于 SMP Linux 來說更加困難，因為形成復雜的多功能軟件服務(wù)所需的每個進程和線程都可能在不同的 CPU 上執(zhí)行，并在重新調(diào)度時更改 CPU。

虛擬原型與軟件分析環(huán)境相輔相成，該環(huán)境可視化每個 CPU 隨著時間的推移這些進程的調(diào)度。執(zhí)行此分析的能力基于虛擬原型內(nèi)的專用操作系統(tǒng)感知監(jiān)視器。因此，不需要嵌入式軟件工具。每個過程都可以分析到功能甚至指令級別。

腳本可以對所有硬件和軟件方面進行全自動控制和檢查。這對于功能、性能和功率驗證至關(guān)重要。具有環(huán)境交互的復雜場景（例如觸摸屏、鍵盤或無線電事件）可以輕松地以確定性方式記錄和重復。系統(tǒng)級以軟件為中心的斷言框架允許軟件工程師輕松地將斷言掛鉤到重放場景中。這些斷言可以驗證用戶通過應(yīng)用程序執(zhí)行的操作是否通過不同的軟件層正確傳播到硬件。連同功能方面，隨著時間的推移分析電源狀態(tài)，提供有關(guān)消耗能量的信息。

虛擬原型基于 Synopsys 模型庫和 ARM 的快速模型。用戶可以使用自定義 SystemC TLM-2.0 兼容模型擴展虛擬原型。

審核編輯：郭婷