You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi Mathias,
Thanks for your response.
In case of truth table for synthesize in Pla file, I have another question.
Still the function
00 00
01 01
10 11
11 10
Please refer to the pic in the link. The third bit in inputs are the added ancillary input. Both two attempts guarantee that the function is correct when the added ancillary input=0, the first attempt has a complete truth table. In the second attempt, I just guarantee the function is correct with a incomplete truth table. You see that the overhead of the two synthesized circuits are very different though they use the same commands for synthesis. Why cant the second have the same overhead with the first one? Is it related with the synthesis methods or Is there any other synthesis methods in the tool kit that can achieve the less overhead for the second attempt?
Best regards
The text was updated successfully, but these errors were encountered:
Hi Mathias,
Thanks for your response.
In case of truth table for synthesize in Pla file, I have another question.
Still the function
00 00
01 01
10 11
11 10
Please refer to the pic in the link. The third bit in inputs are the added ancillary input. Both two attempts guarantee that the function is correct when the added ancillary input=0, the first attempt has a complete truth table. In the second attempt, I just guarantee the function is correct with a incomplete truth table. You see that the overhead of the two synthesized circuits are very different though they use the same commands for synthesis. Why cant the second have the same overhead with the first one? Is it related with the synthesis methods or Is there any other synthesis methods in the tool kit that can achieve the less overhead for the second attempt?
Best regards
The text was updated successfully, but these errors were encountered: