Definition

Attributes are used to guide the compiler. The attribute syntax is:

(* attribute, attribute *)

Multiple attributes can be written together on a single line:

(* synthesize, always_ready="read, subifc.enq" *)

Or attributes can be written on multiple lines:

(* synthesize*) (* always_ready="read, subifc.enq" *)

The attribute declaration is placed immediately before the object it is modifying. The attribute will be applied to the first attribute construct following the declaration.

BSV Attributes

Module Generation Attributes

• Synthesize Attribute
• Noinline Attribute
• Split Attributes

Scheduling Attributes

• fire_when_enabled Attribute
• no_implicit_conditions Attribute
• conflict_free Attribute
• descending_urgency Attribute
• execution_order Attribute
• mutually_exclusive Attribute
• preempts Attribute

Port Protocol Attributes

• Ready and Enable Renaming Attributes
• Prefix and Port Renaming Attributes
• Output Port Renaming Attribute
• always_enabled and always_ready Attributes

Documentation Attributes

• doc=

Input Clocks and Reset Attributes

• Clock and Reset Prefix Naming Attributes
• Gate Synthesis Attributes
• Default Clock and Reset Naming Attributes
• Clock and Reset Naming Attribues
• clocked_by Attribute
• reset_by Attribute
• port Attribute