ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
acd::ac_decomposition_params Struct Reference

Parameters for ac_decomposition. More...

#include <ac_decomposition.hpp>

Public Attributes

uint32_t lut_size { 6 }
 LUT size for decomposition (3 < num < 7).
 
uint32_t max_free_set_vars { 4 }
 Maximum size of the free set (1 < num < 6).
 
bool support_reducing_only { true }
 Perform only support reducing (2-level) decompositions.
 
bool use_first { false }
 Use the first feasible decomposition found.
 
bool try_no_late_arrival { false }
 If decomposition with delay profile fails, try without.
 

Detailed Description

Parameters for ac_decomposition.

Definition at line 54 of file ac_decomposition.hpp.

Member Data Documentation

◆ lut_size

uint32_t acd::ac_decomposition_params::lut_size { 6 }

LUT size for decomposition (3 < num < 7).

Definition at line 57 of file ac_decomposition.hpp.

57{ 6 };

◆ max_free_set_vars

uint32_t acd::ac_decomposition_params::max_free_set_vars { 4 }

Maximum size of the free set (1 < num < 6).

Definition at line 60 of file ac_decomposition.hpp.

60{ 4 };

◆ support_reducing_only

bool acd::ac_decomposition_params::support_reducing_only { true }

Perform only support reducing (2-level) decompositions.

Definition at line 63 of file ac_decomposition.hpp.

63{ true };

◆ try_no_late_arrival

bool acd::ac_decomposition_params::try_no_late_arrival { false }

If decomposition with delay profile fails, try without.

Definition at line 69 of file ac_decomposition.hpp.

69{ false };

◆ use_first

bool acd::ac_decomposition_params::use_first { false }

Use the first feasible decomposition found.

Definition at line 66 of file ac_decomposition.hpp.

66{ false };

The documentation for this struct was generated from the following file: