Re: Verilog Synthesis Interoperability Working Group Meeting: Agenda for Jan 11, '02


Subject: Re: Verilog Synthesis Interoperability Working Group Meeting: Agenda for Jan 11, '02
From: Paul Graham (pgraham@cadence.com)
Date: Thu Jan 10 2002 - 20:20:56 PST


Bhasker,

I'm afraid I'll have to miss tomorrow's verilog synthesis meeting.

In case you need it, I'm sending the list of Ambit synthesis pragmas,
along with suggested attribute equivalents.

Paul

-- begin --
Ambit-specific attributes:

        // specify an architecture: cla, ripple, etc.
    architecture = cla
    (* synthesis, architecture = "cla" *)

        // sets boundary on operator merging
    merge_boundary
    (* synthesis, merge_boundary *)

        // specify set/reset control for registers inferred from named blocks
    set_reset [a]synchronous blocks = "a,b,c"
    (* synthesis sync_blocks = "a,b,c" *)
    (* synthesis async_blocks = "a,b,c" *)

        // specify signals to connect to [a]synchronous set/reset pins
    set_reset [a]synchronous signals = "s1,s2,s3"
    (* synthesis sync_signals = "s1,s2,s3" *)
    (* synthesis [a]sync_signals = "s1,s2,s3" *)

        // specify signals in block "a" only to connect to [a]synchronous
        // set/reset pins
        // I'm not sure how to specify this in attribute format
    set_reset [a]synchronous block(a) = "s1,s2,s3"

-- end --



This archive was generated by hypermail 2b28 : Thu Jan 10 2002 - 20:58:55 PST