Subject: RE: Verilog Synthesis Interoperability Working Group Meeting: Agenda for Jan 11, '02
From: Muzaffer Kal (muzaffer@dspia.com)
Date: Fri Jan 11 2002 - 09:47:51 PST
In my verilog code I have the following attributes which I think we need to
add to ambit list:
parameter [3:0] // ambit synthesis enum txenstate ...
// ambit synthesis state_vector txenstate -encoding one_hot
reg [3:0] /* ambit synthesis enum txenstate */ txenstate_d, txenstate;
-----Original Message-----
From: owner-vlog-synth@server.eda.org
[mailto:owner-vlog-synth@server.eda.org]On Behalf Of Paul Graham
Sent: Thursday, January 10, 2002 8:21 PM
To: jbhasker@morph.cAdence.COM
Cc: vlog-synth@server.eda.org
Subject: Re: Verilog Synthesis Interoperability Working Group Meeting:
Agenda for Jan 11, '02
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 : Fri Jan 11 2002 - 10:10:46 PST