虛擬機監視程序

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驗證方法學，有助於確保不同的驗證工程師搭建的驗證平台的標準化，一致性，方便了工作交流。

一種公用程序，用於控制常規內存以及其它內存（例如擴展內存或擴充內存）的使用。