Make stickybit conditional predicate a single-bit result rather than a vector. #54

This commit is contained in:
Alex Mykyta
2023-07-18 21:50:51 -07:00
parent df5436f765
commit 18f8f358b2

View File

@@ -121,7 +121,7 @@ class BothedgeStickybit(NextStateConditional):
def get_predicate(self, field: 'FieldNode') -> str:
I = self.exp.hwif.get_input_identifier(field)
Iq = self.exp.field_logic.get_next_q_identifier(field)
return f"{Iq} ^ {I}"
return f"{Iq} != {I}"
def get_assignments(self, field: 'FieldNode') -> List[str]:
I = self.exp.hwif.get_input_identifier(field)