Specifications

VHDL Datapath Synthesis
VHDL Reference Manual 5-3
To View the Results of Inferencing:
1. Select the Synthesize Logic process, and click on the Properties
button.
2. Set the property Show Inferred Structure to True.
3. Run the Synthesize Logic process for the module.
4. Click the Log button. The Synario Report Viewer opens on the log
file.
See Figure 5-1 for an example of the inferencing portion of a log file.
Figure 5-1: Example of an Inferencing report in the Synario Log File
process : accumulate 4.00 sec
Inferred structure :
flip flop: ce fdata_t 0 filter.vhd line 87
flip flop: ce fdata_t 1 filter.vhd line 87
flip flop: ce fdata_t 2 filter.vhd line 87
flip flop: ce fdata_t 3 filter.vhd line 87
flip flop: ce fdata_t 4 filter.vhd line 87
flip flop: ce fdata_t 5 filter.vhd line 87
flip flop: ce fdata_t 6 filter.vhd line 87
flip flop: ce fdata_t 7 filter.vhd line 87
macrocell: LPM_ADD_SUB
Limitations of Inferencing Support
There are some limitations to Synario's support for inferred datapath
macrofunctions:
1. ADD_SUB and COMPARE macros will not be inferred when one or
more of the operands of a function are constants (e.g. a+1, b < 2,
etc.).
2. Only UNSIGNED arithmetic is supported.
3. Not all datapath macrofunctions are equally well supported in all
target architectures. Some targets may not have the ability to
implement certain features. For example, the Lucent Orca
architecture does not support both asynchronous presets and sets
on flip-flops. Therefore, a COUNTER macrofunction that uses these
ports can not be mapped to an Orca implementation. This will
result in Synario generating an error such as the one shown below
when it attempts to map the COUNTER for an ORCA device:
Unable to Map Parameterized Module of Type: LPM_COUNTER, Instance
Name: p63_0 to Vendor macro.
Reason for failure was:
LPM module type LPM_COUNTER can not be mapped if the port ACLR
is connected.
Fatal Error 19254: Mapping problem forces termination. Try
resynthesizing the source without LPM inferencing
Done: failed with exit code: 0002.