File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -101,10 +101,10 @@ def __init__(self) -> None:
101101 self .out1 = self .Port (dout_model , optional = True )
102102 self .out2 = self .Port (dout_model , optional = True )
103103
104- self .require (self .out1 .is_connected (). implies (
105- self .in1a .is_connected () & self .in1b .is_connected ()))
106- self .require (self .out2 .is_connected (). implies (
107- self .in2a .is_connected () & self .in2b .is_connected ()))
104+ self .require (( self .out1 .is_connected () == self . in1a . is_connected ()) &
105+ ( self .out1 .is_connected () == self .in1b .is_connected ()))
106+ self .require (( self .out2 .is_connected () == self . in2a . is_connected ()) &
107+ ( self .out2 .is_connected () == self .in2b .is_connected ()))
108108
109109 def contents (self ) -> None :
110110 super ().contents ()
You can’t perform that action at this time.
0 commit comments