implement                                          Specifies the
                                                   implementation of complex
                                                   operators and memory in
                                                   your design.
 { -ram                     memory_object
     -implementation        implementation           behavior, decomposed
     -readports             read_ports               integer value
     -writeports            write_ports              integer value
     [ -file                init_file
       -filetype            file_type ]              hex, binary
 | -rom                     memory_object
     -implementation        implementation           behavioral, decomposed
     -readports             read_ports               integer value
     [ -file                init_file
       -filetype            file_type ]              hex, binary
 | -plus_minus              [ scope ]                design unit or
                                                     instance/current scope
     -implementation        implementation           behavioral, decomposed,
                                                     generate
    [  -hierarchy           [ yes | no ]             for all implementations
                                                     except behavioral/no for
                                                     decomposed and
                                                     ripple_carry; yes for all
                                                     other implementations
    [  -addertype           adder_type ]             for generate
                                                     implementation, selects
                                                     type of adder:
                                                     ripple_carry,
                                                     carry_look_ahead,
                                                     cla_tree, carry_save
     [ -groupsize           positive_integer ]       for carry_look_ahead
                                                     adder, specifies the
                                                     number of bits grouped
                                                     without carry bits
                                                     between them
     [ -propagate           adder_type               for carry_save, selects
                                                     implementation for
                                                     propagate:
                                                     carry_look_ahead,
                                                     decomposed,
                                                     ripple_carry
     [ -groupsize           positive_integer ] ]     for carry_look_ahead
                                                     adder selected as
                                                     propagate, specifies the
                                                     number of bits grouped
                                                     without carry bits
                                                     between them
 | -mux                     [ scope ]                design unit or
                                                     instance/current scope
     [ -implementation      decomposed ]
 | -comparison              [ scope ]                design unit or
                                                     instance/current scope
     [ -implementation      decomposed ]
 | -multiply                [ scope ]                design unit or
                                                     instance/current scope
     [ -implementation      behavioral ]
 | -divide                  [ scope ]                design unitor
                                                     instance/current scope
     [ -implementation      behavioral ]
 | -mod                     [ scope ]                design unit or
                                                     instance/current scope
     [ -implementation      behavioral ]
 | -object                  link_object              design unit, instance, or
                                                     function/function
     -link                  implementation_cell
 | -model                   model
     -link                  implementation_cell }
