管理程式
VMM Virtual Machine Manager
Virtual Machine Manager 2008 R2 有助於實現對物理和虛擬 IT 基礎結構的集中管理、提高伺服器利用率以及跨多個虛擬化平台最佳化動態資源。
優點
在整個數據中心內集中創建和管理虛擬機。
輕鬆地將多台物理伺服器合併到虛擬主機中。
快速配置和最佳化新的和現有的虛擬機。
性能和資源最佳化 (PRO) 功能使您能夠通過已啟用 PRO 功能的管理包對虛擬資源進行動態管理。作為一個開放且可擴展的平台，PRO 鼓勵合作夥伴設計一些能夠利用 PRO 強大的管理功能來增強其產品和解決方案的兼容性的自定義管理包。
驗證方法學
驗證方法學手冊即為《Verification Methodology Manual》的直譯。
VMM是大規模積體電路(IC)設計驗證領域的一種高級驗證方法學。
VMM驗證方法學主要由ARM和synopsys公司的設計驗證領域的專家共同設計，用於開發先進的驗證環境。
VMM驗證方法學的語言基礎是systemverilog語言。它所有的方法學基礎都是來自於systemverilog，並吸收了C語言的一些先進思想。
VMM驗證方法學主要描述如何使用SystemVerilog創建採用覆蓋率主導、隨機約束生成、基於斷言驗證技術的綜合驗證環境，同時為可互用驗證組件指定了建庫數據塊。
VMM驗證方法學的基礎性指導性書籍為《SystemVerilog 驗證方法學》，英文書籍名為《Verification Methodology Manual For Systemverilog》，由驗證屆泰斗Janick Bergeron（伯傑龍）領銜編著。Janick Bergeron是為Synopsys公司工作的科學家。他是驗證領域最著名最暢銷的書《Writing Testbenches：Functional Verification of HDL Models》的作者，他也是驗證規範仲裁主持人。
目前VMM驗證方法學主要由synopsys公司來提供以及維護。synopsys公司隨其VCS仿真器提供了《vmm_user_guide.pdf》，其中包含了VMM的標準庫。
VMM方法學得到全球數百家 SoC 和矽 IP驗證團隊的採用，加速開發基於SystemVerilog的功能強大的驗證環境，並有助於以較少時間和努力達到可測量的功能覆蓋率目標。
採用VMM驗證方法學，有助於確保不同的驗證工程師搭建的驗證平台的標準化，一致性，方便了工作交流。
擴展記憶體
一種公用程式，用於控制常規記憶體以及其它記憶體（例如擴展記憶體或擴充記憶體）的使用。
