Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Formality T-2002.12 release.

Status
Not open for further replies.

ttspice

Member level 3
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
 

set_user_match lec

ttspice,

Thanks a lot...

Do you have license for it?

Please PM to me...
 

Sorry...I have no pirate license, your compnay can ask
Synopsys for a temporary evluation license.
 

How does i compare to "lec" ?
I remember lec is the best formal tool. 8)
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top