Choosing High-Speed Implementation for High-level Functional Module

• The set_implementation command does not function on cell instances that are not defined in a synthetic library.

• To list the current implementation of all synthetic library instances, and indicates whether the implementation

• report_resources

• To remove any effects of set_implementation from all synthetic cells of the current design:

• remove_attribute [get_cells *] implementation