ttspice
Member level 3
- Joined
- Dec 24, 2001
- Messages
- 64
- Helped
- 1
- Reputation
- 2
- Reaction score
- 1
- Trophy points
- 1,288
- Location
- Republic of Taiwan
- Activity points
- 555
formality
=======================================================================
Compare Point Matching Enhancements
=======================================================================
o ARITHMETIC IN COMPARE RULES
The set_compare_rule command has been extended to allow arithmetic
operators in compare rules. The operators +, -, *, /, and % are
supported.
This can be useful in a number of situations. For example, when the
order of a bus has been reversed in the implementation design. The
following compare rule uses the '-' operator to match the buses
oa[7:0] and ob[0:7].
set_compare_rule $ref -from {oa\[\([0-9]+\)\]} -to {ob\[\(7-\1\)\]}
Please refer to the Formality User Guide for complete details on
compare rule syntax.
o ABILITY TO TEST COMPARE RULES
The user may now test compare rules within Formality. The command is
test_compare_rule and can be applied to either all currently unmatched
points or to user-specified names. A report is printed listing mapped
and unmapped names. NOTE: This command only tests the compare rule. To
apply the rule, use the set_compare_rule command.
For example, one can test the rule specified above:
test_compare_rule $ref -from {oa\[\([0-9]+\)\]} -to {ob\[\(7-\1\)\]}
o NEW COMPARE POINT MATCHING CAPABILITY: One-to-N Matching
The set_user_match command has been enhanced to allow matching of
multiple implementation object to a single reference object. Doing
this creates pairs of matched objects, all of which share the same
reference object. For example:
set_user_match $ref/CORE/RAMBK/DM/TOP/din[55] \
$impl/CORE/RAMBK/DM/TOP/din[55]_0 \
$impl/CORE/RAMBK/DM/TOP/din[55]_1 \
$impl/CORE/RAMBK/DM/TOP/din[55]_2 \
$impl/CORE/RAMBK/DM/TOP/din[55]_3
=======================================================================
Compare Point Matching Enhancements
=======================================================================
o ARITHMETIC IN COMPARE RULES
The set_compare_rule command has been extended to allow arithmetic
operators in compare rules. The operators +, -, *, /, and % are
supported.
This can be useful in a number of situations. For example, when the
order of a bus has been reversed in the implementation design. The
following compare rule uses the '-' operator to match the buses
oa[7:0] and ob[0:7].
set_compare_rule $ref -from {oa\[\([0-9]+\)\]} -to {ob\[\(7-\1\)\]}
Please refer to the Formality User Guide for complete details on
compare rule syntax.
o ABILITY TO TEST COMPARE RULES
The user may now test compare rules within Formality. The command is
test_compare_rule and can be applied to either all currently unmatched
points or to user-specified names. A report is printed listing mapped
and unmapped names. NOTE: This command only tests the compare rule. To
apply the rule, use the set_compare_rule command.
For example, one can test the rule specified above:
test_compare_rule $ref -from {oa\[\([0-9]+\)\]} -to {ob\[\(7-\1\)\]}
o NEW COMPARE POINT MATCHING CAPABILITY: One-to-N Matching
The set_user_match command has been enhanced to allow matching of
multiple implementation object to a single reference object. Doing
this creates pairs of matched objects, all of which share the same
reference object. For example:
set_user_match $ref/CORE/RAMBK/DM/TOP/din[55] \
$impl/CORE/RAMBK/DM/TOP/din[55]_0 \
$impl/CORE/RAMBK/DM/TOP/din[55]_1 \
$impl/CORE/RAMBK/DM/TOP/din[55]_2 \
$impl/CORE/RAMBK/DM/TOP/din[55]_3
