Bus comparison is supported in Definitions but not in Guarantees

reactive-systems / syfco

Synthesis Format Conversion Tool

MIT License

23 stars 12 forks source link

Bus comparison is supported in Definitions but not in Guarantees #38

Open 5nizza opened 3 years ago

5nizza commented 3 years ago

hi! Not sure it is a bug or a feature: you can write a==b for two buses a and b in section DEFINITIONS but not in GUARANTEES:

INFO
{
  TITLE:       ""
  DESCRIPTION: ""
  SEMANTICS:   Mealy
  TARGET:      Mealy
}
GLOBAL
{
  DEFINITIONS { gua(a,b) = a==b; } // OK
}
MAIN
{
  INPUTS { a[10]; b[10]; }
  OUTPUTS { out; }
  GUARANTEES { G a==b; } // not OK
}