Skip to content

AQFP optimization flow of the ASPDAC'21 paper #426

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 18 commits into from
Mar 12, 2021
Merged

AQFP optimization flow of the ASPDAC'21 paper #426

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
4c364e6
Integration of AQFP flow, missing resubstitution
aletempiac Feb 23, 2021
0ee5b32
Fix in lorina.hpp
aletempiac Feb 23, 2021
3c68827
Merge branch 'master' into aletempiac/aqfp_integration
lee30sonia Feb 25, 2021
2041626
clean up a bit
lee30sonia Feb 26, 2021
0ca5232
more cleanup
lee30sonia Feb 26, 2021
3b95666
move relevance to kitty
lee30sonia Feb 26, 2021
e896f0d
integrate resub part
lee30sonia Feb 26, 2021
2a7ef5f
depth preservation
lee30sonia Feb 26, 2021
241d232
clean up experiment code
lee30sonia Mar 4, 2021
f42d045
revert unnecessary changes
lee30sonia Mar 4, 2021
3a6d97e
remove benchmarks
lee30sonia Mar 4, 2021
bc1a69b
move specialized algorithms into sub-folder
lee30sonia Mar 4, 2021
bc32d2e
update kitty
lee30sonia Mar 4, 2021
2eb9cbe
update lorina
lee30sonia Mar 4, 2021
007b7fc
fix include paths & file headers
lee30sonia Mar 4, 2021
19d8e35
delete experiment code
lee30sonia Mar 4, 2021
e164897
Merge branch 'master' into aletempiac/aqfp_integration
lee30sonia Mar 10, 2021
6ad7e4c
move relevance rule to truth_table_utils
lee30sonia Mar 10, 2021
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
12 changes: 9 additions & 3 deletions experiments/experiments.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/* mockturtle: C++ logic network library
* Copyright (C) 2018-2019 EPFL
* Copyright (C) 2018-2021 EPFL
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
Expand Down Expand Up @@ -506,10 +506,10 @@ std::string benchmark_path( std::string const& benchmark_name )
}

template<class Ntk>
bool abc_cec( Ntk const& ntk, std::string const& benchmark )
inline bool abc_cec_impl( Ntk const& ntk, std::string const& benchmark_fullpath )
{
mockturtle::write_bench( ntk, "/tmp/test.bench" );
std::string command = fmt::format( "abc -q \"cec -n {} /tmp/test.bench\"", benchmark_path( benchmark ) );
std::string command = fmt::format( "abc -q \"cec -n {} /tmp/test.bench\"", benchmark_fullpath );

std::array<char, 128> buffer;
std::string result;
Expand Down Expand Up @@ -537,4 +537,10 @@ bool abc_cec( Ntk const& ntk, std::string const& benchmark )
return false;
}

template<class Ntk>
inline bool abc_cec( Ntk const& ntk, std::string const& benchmark )
{
return abc_cec_impl( ntk, benchmark_path( benchmark ) );
}

} // namespace experiments
Loading