A system and method for representing digital circuits and systems in multiple partitions of Boolean space, and for performing digital circuit or system validation using the multiple partitions. Decision diagrams are built for the digital circuit or system and pseudo-variables are introduced at decomposition points to reduce diagram size. Pseudo-variables remaining after decomposition are composed and partitioned to represent the digital circuit or system as multiple partitions of Boolean space. Each partition is built in a scheduled order, and is manipulable separately from other partitions.

Um sistema e um método para representar circuitos digitais e sistemas em divisórias múltiplas do espaço booleano, e para executar o validation do circuito digital ou do sistema usando as divisórias do múltiplo. Os diagramas da decisão são construídos para o circuito digital ou o sistema e os pseudo-variables são introduzidos em pontos do decomposition para reduzir o tamanho do diagrama. Os pseudo-variables restantes após o decomposition são compostos e divididos para representar o circuito digital ou o sistema como divisórias múltiplas do espaço booleano. Cada divisória é construída em uma ordem programada, e é manipulable separada de outras divisórias.