@oe1cxw I'm trying to add full support for GP4's FFs to yosys. basically one can get either Q or QN, but not both at same time
-
-
Replying to @whitequark @oe1cxw
I can't quite figure out the best way to integrate that--currently looking at running abc -liberty, but not sure about it
2 replies 0 retweets 0 likes -
Replying to @whitequark
I have a roadmap for supporting things like that well. The most important thing missing so far is the $_FNOT_ gate.
2 replies 0 retweets 0 likes -
Replying to @oe1cxw @whitequark
$_FNOT_ = free not. This will help using the inverted output in more cases.
1 reply 0 retweets 0 likes -
Replying to @oe1cxw
oh I see, so you basically want to prepopulate the output with $_FNOT_s, then rely on opt to move driven networks there
1 reply 0 retweets 0 likes -
Replying to @whitequark
yes. With some hacks in the ABC pass to preserve the $_FNOT_ during logic optimization.
1 reply 0 retweets 0 likes -
Replying to @oe1cxw @whitequark
but that's just an optimization to use the inverted output more often. IIRC dfflibmap should already be able to map to ff w/ qn.
2 replies 0 retweets 0 likes
If not, open a issue on GitHub and I'll look into it later today.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.