內容簡介
全書共分6章。第1章介紹設計方法學和SpecC語言,把SpecC作為專門面向綜合的繫統級設計語言(system-level design language,SLDL)的一個實例。第2章討論繫統級設計的4個不同的抽像級別,定義每一個級別上的模型,並且詳細解釋如何從一個抽像級別逐步細化到下一個級別。為了以實例說明設計方法學,我們將設計方法學應用於工業界的2個實例(移動電話的語音編碼/解碼器和圖像編碼器)分別在第3章和第4章中介紹。第5章介紹圍繞上述設計方法學而研發的整個設計環境和可能使用的工具。後,在第6章中介紹SpecC技術開放協會(SpecC Technology Open Consortium) ,該協會的目的是促使SpecC語言成為世界性的標準,以便於相互協同工作、IP核(intellectual property core)相互交流等。本書將給SOC或嵌入式繫統的設計者和設計管理者帶來巨大效益。他們可以利用本書的結果開發出新的設計方法,使其設計效率以指數形式上升。對於那些原來是RTL級、邏輯級或物理級的設計者來說,如果他們對轉移到繫統級設計有興趣,他們會發現可以對設計整體有全面的把握。本書的設計模型定義了IP模型和函數,適合於IP核提供者和使用者交流用。一個高效的方法學(例如本書所提供的方法)將幫助產品計劃部門快速開發出新產品,或者引出新的商業模型(例如電子設計或根據定單設計產品)。後,繫統設計領域的學者和學生可以在本書中找到形式化的、有很好結構的設計流程實例。