Use equiv_opt -async2sync for xilinx
authorEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 17:30:33 +0000 (10:30 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 17:30:33 +0000 (10:30 -0700)
commit5d680590d6bccd929ed3909248dbb73fb3876e65
treebdeb9cf671fc44ac44b281bc36c3a99ea9fc64b7
parent8765ec3c27f38e6fb57d057be9605788e144388b
Use equiv_opt -async2sync for xilinx
tests/xilinx/latches.ys