BOOM-II: the PLA minimizer

Description

BOOM (BOOlean Minimization) is a tool for minimizing two-valued Boolean functions. The output is a near-minimal or minimal two-level disjunctive form. The input and output of BOOM is compatible with Berkeley standard PLA format.

BOOM 2.7 runs as a Win32 console application.

Minimum requirements:

  • Microsoft Windows 95 or higher
  • Intel Pentium processor or compatible

Main Features

  • Heuristic two-level multiple-output Boolean minimizer (PLA minimizer)
  • Very fast
  • Low memory demands
  • Efficient for functions having a large number of both input and output variables (up to thousands)
  • Advantageous for weakly specified functions
  • Compatible with the Berkeley standard PLA format (like ESPRESSO)
  • Output into PLA, VHDL, Verilog and BLIF
  • Takes the on-set and off-set as the input, the don't care set need not be specified
  • Iterative minimization support - gives the chance to improve the result by repeating the minimization procedure several times. The user can specify the desired run-time or the number of iterations
  • BOOM-II is a combination of BOOM and FC-Min - see the references