data/full_repos/permissive/434837003/test/specify.v
1: b"%Error: data/full_repos/permissive/434837003/test/specify.v:28: Unsupported or unknown PLI call: $q\n        PATHPULSE$clr[2]$q = (0,4),\n                        ^~\n%Error: data/full_repos/permissive/434837003/test/specify.v:78: syntax error, unexpected '(', expecting IDENTIFIER\nposdff_udp (ffout, clock, data, preset, clear, notifier);\n            ^~~~~\n%Error: Exiting due to 2 error(s)\n        ... See the manual and https://verilator.org for more assistance.\n"
module XORgate (a, b, out);

input a, b;
output out;

xor x1 (out, a, b);

specify
    specparam noninvrise = 1, noninvfall = 2;
    specparam invertrise = 3, invertfall = 4;
    if (a) (b => out) = (invertrise, invertfall);
    if (b) (a => out) = (invertrise, invertfall);
    if (~a)(b => out) = (noninvrise, noninvfall);
    if (~b)(a => out) = (noninvrise, noninvfall);
    showcancelled out;
    pulsestyle_ondetect out;
    pulsestyle_onevent out;
    noshowcancelled out;
endspecify

specify
    (clk => q) = 12;
    (data => q) = 10;
    (clr, pre *> q) = 4;
    specparam
        PATHPULSE$clk$q = (2,9),
        PATHPULSE$clr$q = (0,4),
        PATHPULSE$clr[2]$q = (0,4),
        PATHPULSE$ = 3;
endspecify

endmodule
module XORgate (a, b, out);


input a, b;
output out;

xor x1 (out, a, b);

specify
    specparam noninvrise = 1, noninvfall = 2;
    specparam invertrise = 3, invertfall = 4;
    if (a) (b => out) = (invertrise, invertfall);
    if (b) (a => out) = (invertrise, invertfall);
    if (~a)(b => out) = (noninvrise, noninvfall);
    if (~b)(a => out) = (noninvrise, noninvfall);
    showcancelled out;
    pulsestyle_ondetect out;
    pulsestyle_onevent out;
    noshowcancelled out;
endspecify

specify
    (clk => q) = 12;
    (data => q) = 10;
    (clr, pre *> q) = 4;
    specparam
        PATHPULSE$clk$q = (2,9),
        PATHPULSE$clr$q = (0,4),
        PATHPULSE$clr[2]$q = (0,4),
        PATHPULSE$ = 3;
endspecify

endmodule