Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion LICENSE
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
MIT License

Copyright (c) 2022 潘鸿洋
Copyright (c) 2025

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
Expand Down
8 changes: 3 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,17 +1,15 @@
# powerful heightened yielded Logic Synthesis (phyLS)
# PhyMap: A Physically-Aware Incremental Mapping Framework with On-the-fly Post-Layout Critical Path Tracking

phyLS is based on the [mockturtle](https://github.com/lsils/mockturtle) and the [abc](https://github.com/berkeley-abc/abc), it can optimize different logics attributes.
PhyMap is based on the [mockturtle](https://github.com/lsils/mockturtle) and the [abc](https://github.com/berkeley-abc/abc), it can optimize different logics attributes.
Currently, it supports mockturtle format(AIG, MIG, XAG, XMG) and abc format(AIG,GIA) based optimization.

[Read the documentation here.](https://phyls.readthedocs.io/en/latest/)

## Requirements
A modern compiler is required to build the libraries.
Compiled successfully with Clang 6.0.1, Clang 12.0.0, GCC 7.3.0, and GCC 8.2.0.

## How to Compile
```bash
git clone --recursive https://github.com/panhomyoung/phyLS.git
git clone --recursive https://anonymous.4open.science/r/PhyMap
cd phyLS
mkdir build
cd build
Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/&fraig.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs combinational SAT sweeping
*
* @author Homyoung
* @author XXX
* @since 2023/03/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/&get.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief converts the current network into GIA
*
* @author Homyoung
* @author XXX
* @since 2023/03/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/&if.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs FPGA mapping of the GIA
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/&nf.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs technology-independent mapping of the GIA
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/amap.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief performs technology-independent mapping of the AIG
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/balance.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief transforms the current network into a well-balanced AIG
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/cec.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs combinational equivalence checking
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/comb.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief converts comb network into seq, and vice versa
*
* @author Homyoung
* @author XXX
* @since 2023/03/21
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/compress2rs.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief combination optimization script
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/dc2.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief combination optimization script
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/fraig.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief transforms a logic network into a functionally reduced AIG
*
* @author Homyoung
* @author XXX
* @since 2023/03/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/if.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs FPGA technology mapping of the network
*
* @author Homyoung
* @author XXX
* @since 2023/08/03
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/map.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs technology-independent mapping of the AIG
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/put.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief converts the current GIA network into Ntk
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/read.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief replaces the current network by the network read from file
*
* @author Homyoung
* @author XXX
* @since 2023/03/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/read_genlib.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief read the library from a genlib file
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/refactor.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief performs technology-independent refactoring of the AIG
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/resub.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs technology-independent restructuring of the AIG
*
* @author Homyoung
* @author XXX
* @since 2023/02/28
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/resyn2rs.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief combination optimization script
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/rewrite.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief performs technology-independent rewriting of the AIG
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/sop.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
*
* @brief converts node functions to SOP
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/strash.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief transforms combinational logic into an AIG
*
* @author Homyoung
* @author XXX
* @since 2023/03/01
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/abc/write.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief writes the current network into file
*
* @author Homyoung
* @author XXX
* @since 2023/03/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/algebraic_rewriting.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief algebraic depth rewriting
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/balance.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief transforms the current network into a well-balanced AIG
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/cec.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs combinational equivalence checking
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/convert_graph.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs decomposable function for resynthesis graph
*
* @author Homyoung
* @author XXX
* @since 2022/12/20
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/cut_rewriting.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief on-the-fly DAG-aware logic rewriting
*
* @author Homyoung
* @author XXX
* @since 2022/12/15
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/exact/exact_lut.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief STP based exact synthesis
*
* @author Homyoung
* @author XXX
* @since 2022/11/23
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/exact/lutrw.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief 2-lut rewriting with STP based exact synthesis
*
* @author Homyoung
* @author XXX
* @since 2022/11/30
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/exprsim.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief simulate a expression and return a truth table
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/functional_reduction.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs functional reduction
*
* @author Homyoung
* @author XXX
* @since 2022/12/20
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/load.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@
*
* @brief load a hexdecimal string represented truth table
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/lut_mapping.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief lut mapping for any input
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/lutmap.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs FPGA technology mapping of the network
*
* @author Homyoung
* @author XXX
* @since 2022/12/21
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/node_resynthesis.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief Node resynthesis
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/ps2.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief Show statistics in the stored network
*
* @author Homyoung
* @author XXX
* @since 2023/11/16
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/refactor.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs technology-independent refactoring
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/resub.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief performs technology-independent restructuring
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/sim.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief logic network simulation
*
* @author Homyoung
* @author XXX
* @since 2022/12/14
*/

Expand Down
2 changes: 1 addition & 1 deletion src/commands/simulator.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
*
* @brief Semi-tensor product based logic network simulation
*
* @author Homyoung
* @author XXX
* @since 2023/03/21
*/

Expand Down
Loading