incomplete sensitivity list in always block

[sun_ray]

Suppose in sensitivity list of an always block a few signals are missing by mistake. Can it lead to inference of a latch?

Regards

 

[bright8848]

Will it report error when synthesis?

 

[FvM]

Sensitivity lists are ignored in synthesis, but warnings are issued to inform about possible simulation mismatch. For a complete discussion see http://www.sunburst-design.com/papers/CummingsSNUG1999SJ_SynthMismatch.pdf

 

[sun_ray]

Sensitivity lists are ignored in synthesis, but warnings are issued to inform about possible simulation mismatch. For a complete discussion see http://www.sunburst-design.com/papers/CummingsSNUG1999SJ_SynthMismatch.pdf

Can the simulator see/infer it as a latch?

 

[bright8848]

Can the simulator see/infer it as a latch?

I think simulator just excutes the RTL code and knows nothing about the structure of curcuit. It's sure that when only the missed signal toggles, always block won't be triggered.

 

[FvM]

Can the simulator see/infer it as a latch?

In my view, the term inference is related to synthesis of hardware elements. In so far a simulator can't "infer" anything. It can model existing hardware as well as describe behaviour of physically infeasible elements.

An imcomplete sensitivity list as discussed in the Sunburst paper has some similarities with a latch in simulation, but it's still different.

always @(a)
o = a & b;

 

[sun_ray]

An imcomplete sensitivity list as discussed in the Sunburst paper has some similarities with a latch in simulation, but it's still different.

Which difference are you stating here by stating it is still different?

Regards