Compiler Design

Hallmark FeaturesIntroduces the fundamental constructs of contemporary programming languages•Critical evaluation of existing and future programming languages gives students the necessary tools for evaluating on their own.•An in-depth discussion of programming language structures, presenting a formal method of describing syntax, and introducing approaches to lexical and syntax analysis prepare students for the study of compiler design.•Coverage of advanced object-oriented topics and languages is integrated throughout.Addresses the most up-to-date information in this field•New - New material on Swift, a contemporary programming language, is now part of several chapters.•New - Section on Delphi now included in Chapter 2.•New - Section on optional types is included in Chapter 6.•New and Updated - Content describing iterations in Python are part of Chapter 8.•Revised - To ensure the material remains relevant to students, sections on outdated languages (specifically Lua and Objective-C) have

In this second volume of his 1834 treatise on how God's creative process is manifest in the plant and animal kingdoms, Peter Roget, compiler of the celebrated Thesaurus, examines their physiologies. He covers aspects including nutrition and respiration, the sensory and nervous systems, the function of the brain and the reproductive process. Functions of individual plants and animals are seen as proving God's design by giving organisms the means of coexisting. The organic development process and change from the first cell beginnings to decay and death is studied closely with the aim of understanding how 'material particles first became animated with the breath of life' and why there is a time limit to their existence. The treatise concludes that God's intention pervades both kingdoms and is revealed in similarity of processes and the universal connectivity of the 'laws of analogy' that link all living things to common roots.

本書聚焦於數字片上系統(SoC)設計領域，從數字集成電路的發展歷程與基礎知識入手，首先介紹了硬件描述語言Verilog HDL的設計規則和核心EDA工具VIVADO與Design Compiler的使用方法，隨後詳細討論了數字SoC設計、驗證過程中的關鍵技術，並對難點問題進行了歸納和總結。此外，本書提供了多個數字SoC設計、驗證的實際案例，循序漸進地向讀者展示了數字SoC從規劃、設計、仿真、驗證再到綜合實現的全流程。本書內容由淺入深，能使讀者深刻瞭解數字SoC設計過程和基本方法，既適合作為微電子與集成電路專業的高年級本科生及從事數字SoC領域研究的研究生的教材，又可為從事相關技術的初期從業人員提供技術參考。

集成電路發展到今天，單芯片內能夠集成高達百億個晶體管，在集成電路的設計中需要依靠電子設計自動化(EDA)工具進行電路仿真、綜合、版圖設計、寄生參數提取和後仿真。EDA工具的使用可以使設計者在虛擬的計算機環境中進行早期的設計驗證，有效縮短了電路實體迭代驗證的時間，提高了芯片設計的成功率。一款成功的芯片源于無數工程師成功的設計，而成功的設計在很大程度上又取決於有效、成熟的集成電路EDA設計工具。 本書面向微電子學與固體電子學專業相關的課程教學要求和集成電路設計相關的工程應用需求，以提高實際工程設計能力為目的，採取循序漸進的方式，介紹了進行CMOS集成電路設計時所需的EDA工具。主要分為EDA設計工具概述、模擬集成電路EDA技術、數字集成電路EDA技術與集成電路反向分析技術等部分。在模擬集成電路方面，依次介紹了電路設計及仿真工具Cadence Spectre、版圖設計工具Cadence Virtuoso、版圖驗證及參數提取工具Mentor Calibre在內的各種工具的基本知識和使用方法。在數字集成電路方面，在簡單介紹硬件描述語言Verilog HDL的基礎上，介紹RTL仿真工具Modelsim、邏輯綜合工具Design Compiler、數字後端版圖工具IC Compiler和Encounter四大類設計工具。*終對集成電路使用反向EDA技術進行全面的闡述。書中配以電路設計實例，進一步分析各種EDA工具的設計輸入方法和技巧，形成一套完整的CMOS集成電路設計流程。 本書使讀者通過實例深刻瞭解使用CMOS集成電路EDA工具進行設計的基本流程和方法，可作為高等院校微電子學與固體電子學專業本科生與研究生集成電路EDA課程的實驗教材和輔導書，或者相關專業技術人員的自學參考書。

本書面向集成電路設計與集成系統、微電子科學與工程高年級本科生和相關專業低年級研究生以及有一定Verilog HDL語言基礎，未來願意從事數字IC設計的科技人員，針對基於標準單元的大規模數字集成電路設計，介紹自頂向下的設計方法和設計流程，用Verilog HDL描述數字集成電路時常用的規範、設計模式與設計方法，以及數字IC設計流程中Linux/Solaris平臺上主流的EDA工具，包括：仿真工具NC-verilog/VCS、邏輯綜合工具Design Compiler、靜態時序分析工具PrimeTime、形式化驗證工具Formality、工具命令語言TCL以及ICC編譯工具等。本書內容按照基於標準單元的數字IC開發流程進行章節安排，包括EDA工具綜述、可綜合Verilog HDL子集、動態驗證、EDA工具運行環境、UVM、邏輯綜合、靜態時序分析、形式化驗證以及物理設計等，通過實際的工程例子說明設計規範和方法的使用，以及相應的EDA工具軟件的使用細節與注意事項，力求使初學者能夠熟練掌握Verilog HDL語言描述數字電路並初步掌握EDA工具的基本功能和使用。

本書分四部分。第一部分為集成電路設計概述和集成電路設計方法，主要講述集成電路的發展歷史、發展方向，集成電路EDA的基本概念，集成電路正向和反向、自底向上和自頂向下的設計方法等。第二部分為集成電路模擬與SPICE及半導體器件模型，介紹SPICE語句，以及二極管、雙極晶體管、MOS場效應管的SPICE模型。第三部分為Verilog硬件描述語言、邏輯綜合及版圖設計，講述利用Verilog硬件描述語言對電路進行建模及仿真測試的方法，利用Design Compiler進行邏輯綜合的過程和方法，以及全定制版圖和基於標準單元的版圖設計方法等。