Re: [sv-bc] Proposal for compatibility problems with mixed Verilog/SystemVerilog code

From: Michael McNamara <mac@verisity.com>
Date: Tue Nov 30 2004 - 08:58:51 PST

-- On Nov 30 2004 at 09:54, Adam Krolnik sent a message:
> To: stuart@sutherland-hdl.com, sv-bc@eda.org
> Subject: "Re: [sv-bc] Proposal for compatibility problems with
> mixed Verilog/SystemVerilog code"
>
> Hi Stuart;
>
> I've read your proposal and I have a few questions...

   ...

> 3. You wrote:
>
> "It affects all modules, primitives, interfaces, programs or
> packages that follow the directive, even across source code file
> boundaries."
>
> Allowing this directive to cross file boundaries does not IMHO
> provide any benefit. Some compilers only read one file at a time
> while othes compile many. If one uses a single file compiler, then
> every old file needs the directive. Also, given alternative orders
> for compiling files, a simulation may stop compiliing due to a new
> file being compiled while the compiler is in a compatibility
> keyword mode.
>
> Yes, I know that the rest of the directives cross source code
> boundaries, but it would be nice to fix this particularly for this
> compatibility option. If this can be done, then it would also be
> nice to not follow the ifdef ... endif model and just terminate the
> compatibility mode at the end of a compiled file (not the same as
> an included file.) A user can then simply end the file and end the
> compatibilty mode, or be explicit and use the "default" option.
>

Alternatively, allowing the directive to cross file boundires AS
Stuart proposes permits:

% cat myfile.f
top.v
p1800.v
`keywords 1364-1995
interface.v
fifo.v
-v library1.v
`endkeywords
testbench.v
assertions.v

% spexsim -f myfile.f

>
> Thanks.
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
> Co-author "Assertion-Based Design"
>
>
>
>
>
Received on Tue Nov 30 09:05:11 2004

This archive was generated by hypermail 2.1.8 : Tue Nov 30 2004 - 09:05:14 PST