SYNTHESIS QUESTIONS

[Bar Nash]

Hi all

I have several questions about synthesis :

1> In case that the gate level model reacts differently to the test bench
then the RTL model what is to be done ?

2> Is the gate level model tecnology specific or only at the place and route
the model becomes technology specific ?

Thanks
EC

 

[Mike Treseler]

Bar Nash wrote:

1> In case that the gate level model reacts differently to the test bench
then the RTL model what is to be done ?

Edit synthesis and/or testbench code and try again.

2> Is the gate level model technology specific
Yes.

Note that many designers use STA instead of gate level sims.
See also:
http://groups.google.com/groups/search?q="simulation+works"++pitfalls

-- Mike Treseler

 

[KJ]

"Bar Nash" <wavesoft@netvision.net.il> wrote in message
news:gcb2m4$rib$1@news4.netvision.net.il...

Hi all

I have several questions about synthesis :

1> In case that the gate level model reacts differently to the test bench
then the RTL model what is to be done ?

Most likely the testbench signals are not setup properly relative to the
clock and you're violating the setup and/or hold time of the final design.
In short, your testbench is not modelling the reality that will be needed to
get your actual design to work.

KJ

 

[Bar Nash]

MIKE
What is STA exactly ?

EC

"Mike Treseler" <mtreseler@gmail.com> ???
??????:48E9228A.3060206@gmail.com...

Bar Nash wrote:

1> In case that the gate level model reacts differently to the test bench
then the RTL model what is to be done ?

Edit synthesis and/or testbench code and try again.

2> Is the gate level model technology specific
Yes.

Note that many designers use STA instead of gate level sims.
See also:
http://groups.google.com/groups/search?q="simulation+works"++pitfalls

-- Mike Treseler

 

[Muzaffer Kal]

On Mon, 6 Oct 2008 06:26:17 +0200, "Bar Nash"
<wavesoft@netvision.net.il> wrote:

MIKE
What is STA exactly ?

Static Timing Analysis. If you have a fully synchronous design,
correctly constrained, then you don't need back-annotated gate-level
simulations assuming your RTL sims and STA pass [and you're sure that
synthesizer didn't make a mistake which can also be proven formally.]

Muzaffer Kal
http://www.dspia.com

 

[Bar Nash]

Kal

I understand that the Static Timing Analysys is done on the Gate Level model that is NOT technology spesific , just the gate level
representation of the RTL model genenerated by the synthesis tool .

Am I right ?

Thanks in advance
EC


"Muzaffer Kal" <kal@dspia.com> כתב בהודעהbaje41hvtsmbui6pd24524k50qnefaj52@4ax.com...

On Mon, 6 Oct 2008 06:26:17 +0200, "Bar Nash"
wavesoft@netvision.net.il> wrote:

MIKE
What is STA exactly ?

Static Timing Analysis. If you have a fully synchronous design,
correctly constrained, then you don't need back-annotated gate-level
simulations assuming your RTL sims and STA pass [and you're sure that
synthesizer didn't make a mistake which can also be proven formally.]

Muzaffer Kal
http://www.dspia.com

 

[Mike Treseler]

Bar Nash wrote:

*I understand that the Static Timing Analysys is done on the Gate Level
model that is NOT technology spesific , just the gate level *
*representation of the RTL model genenerated by the synthesis tool .*
*Am I right ? *

No. It's about the routed delays of the technology netlist.
Nothing to do with the HDL.

-- Mike Treseler

 

[Tricky]

I have several questions about synthesis :

1> In case that the gate level model reacts differently to the test bench
then the RTL model what is to be done ?

This will often happen when you dont follow standard templates for
processes or you forget to put signals inside a sensitivity list. When
signals are missed from the list, the simulator wont simulate
correctly, but the synthesiser will create whatever you wrote, because
it doesnt care about the sensitivy lists, though most synthezisors
should warn you that signals are missing from the list.

 

[Andy]

On Oct 6, 1:03 am, Muzaffer Kal <k...@dspia.com> wrote:

Static Timing Analysis. If you have a fully synchronous design,
correctly constrained, then you don't need back-annotated gate-level
simulations assuming your RTL sims and STA pass [and you're sure that
synthesizer didn't make a mistake which can also be proven formally.]

And you're sure that any multi-cycle or false path constraints are
correct and accurately specified, etc.(you don't want STA to think a
specified path is multi-cycle if it is really single-cycle).

Andy