cxxrtl: improve handling of FFs with async inputs (other than CLK).
authorwhitequark <whitequark@whitequark.org>
Wed, 2 Sep 2020 16:03:35 +0000 (16:03 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 2 Sep 2020 18:00:12 +0000 (18:00 +0000)
commitc7b2f07edf0c6c00f8576c1b4796a30e7447e917
treefd17ac187ba7de8d88e9c3ed628f2bf0e2e873f1
parentb025ee0aa646268747c121c97cf0673eb06e632b
cxxrtl: improve handling of FFs with async inputs (other than CLK).

Before this commit, the meaning of "sync def" included some flip-flop
cells but not others. There was no actual reason for this; it was
just poorly defined.

After this commit, a "sync def" means that a wire holds design state
because it is connected directly to a flip-flop output, and may never
be unbuffered. This is not affected by presence of async inputs.
backends/cxxrtl/cxxrtl_backend.cc