Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic 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.

Register Log in

Formality T-2002.12 release.

Status
Not open for further replies.

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
 

wicho

Member level 3
Joined
Feb 20, 2002
Messages
63
Helped
1
Reputation
2
Reaction score
0
Trophy points
1,286
Activity points
262
set_user_match lec

ttspice,

Thanks a lot...

Do you have license for it?

Please PM to me...
 

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
Sorry...I have no pirate license, your compnay can ask
Synopsys for a temporary evluation license.
 

prozess

Junior Member level 3
Joined
Sep 28, 2001
Messages
25
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
96
How does i compare to "lec" ?
I remember lec is the best formal tool. 8)
 

Status
Not open for further replies.
Toggle Sidebar

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top