asyncvlsi / act

ACT hardware description language and core tools.
http://avlsi.csl.yale.edu/act
GNU General Public License v2.0
99 stars 22 forks source link

aflat doesn't generate rules for pass transistors #7

Closed nbingham1 closed 4 years ago

nbingham1 commented 4 years ago
defproc test(bool a, b, c, x, y)
{
  prs {
    passn(a, b, c)
    x -> y-
  }
}

test t;
$aflat tmp.act 
"t.x"->"t.y"-
nbingham1 commented 4 years ago

Perhaps if this is intended, then issue a warning when encountering pass transistors to be expanded instead of failing silently.

rmanohar commented 4 years ago

This has been fixed to replicate the old ACT behavior, but the prs model isn't really right. The real fix in progress is to change the output and then fix the simulator to do the right thing... but the old behavior has been restored now.