cjmyers
commented
6 years ago Reasonable compromise is to not write them out.
Turns out to be tricky since in some cases the covers are missing, but I'm also seeing covers of all Z's which causes problems.
I found another issue with ATACS - synthesis of signals that are constants. I have captured this issue in a very small STG (const.lpn file). Its complex gate synthesis produces the following equations (see cons.v for details):
assign out = (~in); assign out0 = (); assign out1 = ; The expected result is:
assign out = ~in; assign out0 = 1'b0; assign out1 = 1'b1;
const.zip