diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-07-19 15:31:12 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-07-19 15:31:12 +0200 |
commit | 87aef8f0cc9ee63fc8fe5eb26e6ceb73aa83b5c9 (patch) | |
tree | de0ceecfbecfa87ae99f5eab025052524f23f12a /passes/sat/Makefile.inc | |
parent | 65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5 (diff) | |
download | yosys-87aef8f0cc9ee63fc8fe5eb26e6ceb73aa83b5c9.tar.gz yosys-87aef8f0cc9ee63fc8fe5eb26e6ceb73aa83b5c9.tar.bz2 yosys-87aef8f0cc9ee63fc8fe5eb26e6ceb73aa83b5c9.zip |
Add async2sync pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/sat/Makefile.inc')
-rw-r--r-- | passes/sat/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index 4fcce2fad..8ab0280c0 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -7,4 +7,5 @@ OBJS += passes/sat/miter.o OBJS += passes/sat/expose.o OBJS += passes/sat/assertpmux.o OBJS += passes/sat/clk2fflogic.o +OBJS += passes/sat/async2sync.o |