missing LTL simplification
ltl2tgba 'GF(a && GF(b))'
has two states, while the equivalent ltl2tgba 'G(Fa && Fb)'
has only one.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
ltl2tgba 'GF(a && GF(b))'
has two states, while the equivalent ltl2tgba 'G(Fa && Fb)'
has only one.