| Type | Requirement | Note | 
|---|---|---|
| Hard Disk Drive | Minimum of 20 GB disk space needed for the software installation of the database software. | For 
                              					 EA workspaces, approximately 60x size in bytes of the application source code modeled in 
                              					 EA (for example, 100 MB source = 6 GB). Storing your workspace on an SSD drive improves verification performance by 5%-15%, depending on your project. |