asyncvlsi / chp2prs Goto Github PK

analyse the signed and unsigned behaviour of the external synthesis, currently only testing for unsigned,

the verilog export does unsigned, for 2K the wires need the signed directive

would need a person that has experience with synopsis to help me set it up

put the differnt passes in differnt folders

currently guards are evaluated one by one, change that for extoptSDT and group expressions, think about also implementing this for basicSDT.

if they are synthesized in the same expression block, potential circuit size reductions because of double usage

the bitfiled has an updated data structure,
fix it in basicSDT and extoptSDT

sed has different behavior depending on version and platform,
handle via with own helper inside the program

this should be done in general for all SDT, see if seqencer opt is applied already otherwise do this in the same go.

It says in the readme file:

-O : run CHP optimizations. Requires the chp-opt package.

Where can I find this package? Or has this not been published yet? I used the build script in the actflow repository, but when I try to use the -O flag I get:

FATAL: Optimize flag is not currently enabled in the build.

The reason why I ask is that I noticed that when a log statement is used in CHP code, this gets translated into a skip block in the resulting PRS which seems to be unnecessary. The generated PRS needs e.g., wider semi blocks to accommodate the log skips, increasing circuit size.

the YS rule is not stable

I cloned chp2prs and run "make depend","make","make install". Ather that I run "make runtest".It showed that it didn't pass all tests.The result is like this. How to solve this problem?