Description

MinCirc is a tool for generating optimum implementations of a given function.

Main Features

• SAT- and PBO-based
• Implementations using any (customizable) 2-input gates are generated
• Gates costs can be specified
• Can enumerate all optimum solutions
• Delay-optimum solutions can be produced
• Polymorphic edges support
• Input: PLA, truth table
• Multi-output functions supported
• Output: BLIF, AAG (XAAG, PAAG, PXAAG), DOT