Call equiv_opt with -multiclock and -assert
authorEddie Hung <eddie@fpgeh.com>
Wed, 1 Jan 2020 02:39:32 +0000 (18:39 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 1 Jan 2020 02:39:32 +0000 (18:39 -0800)
commitc082329af33cd428f53f5afbcb51fab8de545090
tree1482aa45efeef28a4c6fdf969a2e3883ffc62a30
parent22fe931c861aa3f557327baf9d12ec57006308d9
Call equiv_opt with -multiclock and -assert
tests/arch/anlogic/counter.ys
tests/arch/ecp5/counter.ys
tests/arch/efinix/counter.ys
tests/arch/gowin/counter.ys
tests/arch/ice40/counter.ys