ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
acd::acdXX_params Struct Reference

#include <acdXX.hpp>

Public Attributes

uint32_t lut_size { 6 }
 
uint32_t max_shared_vars { 4 }
 
uint32_t min_shared_vars { 0 }
 
bool verify { false }
 

Detailed Description

Definition at line 52 of file acdXX.hpp.

Member Data Documentation

◆ lut_size

uint32_t acd::acdXX_params::lut_size { 6 }

Definition at line 55 of file acdXX.hpp.

55{ 6 };

◆ max_shared_vars

uint32_t acd::acdXX_params::max_shared_vars { 4 }

Definition at line 58 of file acdXX.hpp.

58{ 4 };

◆ min_shared_vars

uint32_t acd::acdXX_params::min_shared_vars { 0 }

Definition at line 61 of file acdXX.hpp.

61{ 0 };

◆ verify

bool acd::acdXX_params::verify { false }

Definition at line 64 of file acdXX.hpp.

64{ false };
The documentation for this struct was generated from the following file: