github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-21 03:56:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Backout ca927fe5; snps isn't supported in DC.

Browse Source
This commit is contained in:
Wilson Snyder 2012-02-10 22:36:19 -05:00
parent 660bc757f1
commit bca5d26583
3 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changes
View File

@ -12,8 +12,6 @@ indicates the contributor was also the author of the fix; Thanks!
*** Support arrayed SystemC I/O pins. [Christophe Joly] *** Support arrayed SystemC I/O pins. [Christophe Joly]
**** Support "snps" directives. [Dan Katz]
**** Fix core dump with over 100 deep UNOPTFLAT, bug432. [Joe Eiler] **** Fix core dump with over 100 deep UNOPTFLAT, bug432. [Joe Eiler]

2
bin/verilator
View File

@ -1748,7 +1748,7 @@ assertion clocks.
=head2 Synthesis Directive Assertion Support =head2 Synthesis Directive Assertion Support
With the --assert switch, Verilator reads any "//synopsys full_case" or With the --assert switch, Verilator reads any "//synopsys full_case" or
"//synopsys parallel_case" directives. The same applies to any "//snps", "//synopsys parallel_case" directives. The same applies to any
"//ambit synthesis", "//cadence" or "//pragma" directives of the same form. "//ambit synthesis", "//cadence" or "//pragma" directives of the same form.
When these synthesis directives are discovered, Verilator will either When these synthesis directives are discovered, Verilator will either

4
src/V3PreProc.cpp
View File

@ -394,10 +394,6 @@ void V3PreProcImp::comment(const string& text) {
cp+=strlen("synopsys"); cp+=strlen("synopsys");
synth = true; synth = true;
if (*cp == '_') fileline()->v3error("Extra underscore in meta-comment; use /*synopsys {...}*/ not /*synopsys_{...}*/"); if (*cp == '_') fileline()->v3error("Extra underscore in meta-comment; use /*synopsys {...}*/ not /*synopsys_{...}*/");
} else if (0==(strncmp(cp,"snps",strlen("snps")))) {
cp+=strlen("snps");
synth = true;
if (*cp == '_') fileline()->v3error("Extra underscore in meta-comment; use /*snps {...}*/ not /*snps_{...}*/");
} else if (0==(strncmp(cp,"cadence",strlen("cadence")))) { } else if (0==(strncmp(cp,"cadence",strlen("cadence")))) {
cp+=strlen("cadence"); cp+=strlen("cadence");
synth = true; synth = true;