acdXX.hpp File Reference

Ashenhurst-Curtis decomposition for "XX" cascade. More...

#include <algorithm>
#include <array>
#include <cassert>
#include <cstdint>
#include <type_traits>
#include "kitty_constants.hpp"
#include "kitty_constructors.hpp"
#include "kitty_dynamic_tt.hpp"
#include "kitty_operations.hpp"
#include "kitty_operators.hpp"
#include "kitty_static_tt.hpp"

Include dependency graph for acdXX.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	acd::acdXX_params
class	acd::acdXX_impl

Namespaces
namespace	acd

Detailed Description

Ashenhurst-Curtis decomposition for "XX" cascade.

C++File**************************************************************

FileName [acd66.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Ashenhurst-Curtis decomposition.]

Synopsis [Interface with the FPGA mapping package.]

Author [Alessandro Tempia Calvino]

Affiliation [EPFL]

Date [Ver. 1.0. Started - Apr 10, 2024.]

Author

Alessandro Tempia Calvino

Definition in file acdXX.hpp.