( ESNUG 395 Item 13 ) -------------------------------------------- [06/26/02]
Subject: ( ESNUG 389 #8 ) Happy With Formality 2002.03 vs. Old Formality
> Another thing we liked was easily setting constraints directly in its GUI.
> Compare point matching are a major pain for LEC tools. Ideally, you want
> the tool to do all the matching automatically. I still haven't seen a
> tool that can automatically match all points all the time. But Formality
> 2002.03 got pretty close. With it's new interative matching capabilities,
> we were able to quickly verify that our constraints worked before running
> a complete run. Writing batch scripts was as easy as running the GUI.
>
> - Pontus Pleven
> Ericsson Technology Licensing AB Lund, Sweden
From: Brian Coffey <brian.coffey@analog.com>
Hi John,
We've found Formality 2002.03 is certainly easier to use than past versions.
It's GUI is now flow based, similar to TetraMax. It's also a much more
useful debugging tool than in the past with this new GUI.
It's script driven approach also has been simplified slightly with a
gates vs. gates comparison needing just the following commands:
read_db -technology library.db
set hdlin_auto_top true
read_verilog -r synthesised.vg
read_verilog -i edited.vg
verify
Older scripts might not work with the latest version of Formality, however
Synopsys have provided a translator.
Synopsys also has a command
write_hierarchical_verification_script
which can be very useful in debugging hierarchical designs narrowing the
scope to just the failing sub blocks.
We've seen Formality 2002.03 show capacity and runtime improvements over
previous versions. More importantly for us the tool was able to verify a
design with large complex arithmetic components that it wasn't able to
verify before. It was a gate vs. gate comparison of two FLAT netlists.
Formality was not using its new multiplier solvers - which rely on
DesignWare hierarchy present in the netlists.
- Brian Coffey
Analog Devices Limerick, Ireland
|
|
