The BDDs created by X-Amin are all stored within a single system-wide database. Each database element is referred to as a node. For efficient operation, it is best to have a database size as small as possible. However, large designs may require a huge database to hold the BDD data.

The BDD database in X-Amin cannot be dynamically sized during a link operation. It's size must be defined prior to a link. The default database size is 100,000 nodes but can be sized to the maximum that the system memory will allow.

The X-Amin dbsize command is used to query the current database size, the utilization of the database, and to adjust the size of the database. Note that any changes to the size of the BDD database will clear the contents of the database.

To query the database size and utilization:

> dbsize
Database size is: 100000 nodes
Number of Bdd nodes in use: 17

To set the database size, simply specify it as the argument to the dbsize command:

> dbsize 500000
WARNING: Bdd Database reset due to size change
Database size is: 500000 nodes
Number of Bdd nodes in use: 2

To increase the database size, use the '+' command-line option:

> dbsize +100000     # increase the size by 100,000 nodes

WARNING: Bdd Database reset due to size change
Database size is: 600000 nodes
Number of Bdd nodes in use: 2