### Abstract

A parallel algorithm for constructing binary decision diagrams is described. The algorithms treats binary decision graphs as minimal finite automata. The automation for a Boolean fucntion with AND as its main operation (OR operation) is obtained by forming the intersection (union) of the regular sets associated with its operands. The union and intersection operations are implemented by a product construction on the minimal automata for the regular sets. After each product construction step the automaton must be reminimized. The parallel algorithm is designed so that it is possible to find the minimal representations for several Boolean operations in parallel. The level of each operation is determined. Operations at the same level can be performed in parallel without any communication between processors. If there are relatively few operations in one level, then the product generation step is divided into several suboperations and the results are merged.

Original language | English |
---|---|

Title of host publication | Proceedings - IEEE International Conference on Computer Design |

Subtitle of host publication | VLSI in Computers and Processors |

Publisher | Publ by IEEE |

Pages | 220-223 |

Number of pages | 4 |

ISBN (Print) | O81862079X |

Publication status | Published - 1990 Sep 1 |

Externally published | Yes |

Event | Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90 - Cambridge, MA, USA Duration: 1990 Sep 17 → 1990 Sep 19 |

### Publication series

Name | Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors |
---|

### Other

Other | Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90 |
---|---|

City | Cambridge, MA, USA |

Period | 90/9/17 → 90/9/19 |

### ASJC Scopus subject areas

- Hardware and Architecture
- Electrical and Electronic Engineering

## Fingerprint Dive into the research topics of 'A parallel algorithm for constructing binary decision diagrams'. Together they form a unique fingerprint.

## Cite this

*Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors*(pp. 220-223). (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors). Publ by IEEE.