# daywalker

**Repository Path**: ma-chengyu422/daywalker

## Basic Information

- **Project Name**: daywalker
- **Description**: The goal is to achieve some functionality，like read truth table and deductive decomposition.
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 0
- **Created**: 2022-05-31
- **Last Updated**: 2023-05-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

hello! welcome 

daywalker is based on the [EPFL Logic Synthesis Libraries](https://github.com/lsils/lstools-showcase), our goal is to form a logic function decomposition flow
 
#### compile
```
git clone --recursive https://gitee.com/ma-chengyu422/daywalker.git
mkdir build
cd build
cmake ..
make
./build/bin/daywalker
```
#### commands

```
decomp_flow
```
use disjoint-support decomposition and shannon decompositon convert a logic function to klut network, you can decide which operators to use.
like `decomp_flow -a 8192`.This will decompose the boolean function represented by hexadecimal 0x8192 and output a bench file decomp.bench.
more options can use `decomp_flow -h`