only new versions/builds released in Jan support SV and also they can just parse..they wont infer any logic..also they are supporting only assertions as of now...hope this helps...
only new versions/builds released in Jan support SV and also they can just parse..they wont infer any logic..also they are supporting only assertions as of now...hope this helps...
Hi,
Does Magma support assertions for Synthesis? What does it synthesize to? I know DC "ignores" them - so simply parsing doesn't mean it "supports" it.
Hi,
So you are saying that if my assertions are inside "pragma"s (such as translate_on/off) - then Magma can handle it - that makes sense, in that case it simply doesn't even see that code.
Ajeetha,
As I mentioned earlier..it doesnt synthesize to anything...EDA vendors normally add "support" in phases depending on the interests of customers...Right now, majority of the customers only use assertions and most of the designers and design managers whom I talk to are still reluctant to write synthesizable code in SV for variety of reasons...number one is most design houses want all their EDA vendors to be on the same level...since designers are using assertions for DV purposes ..it makes sense for EDA tool vendors atleast to have assertions support initially sothat they wont choke when it sees SV constructs...I hope this helps...ur book coauthored with Ben is good..
cheers kiran.
aji_vlsi said:
kbulusu said:
only new versions/builds released in Jan support SV and also they can just parse..they wont infer any logic..also they are supporting only assertions as of now...hope this helps...
Hi,
Does Magma support assertions for Synthesis? What does it synthesize to? I know DC "ignores" them - so simply parsing doesn't mean it "supports" it.
Hi,
So you are saying that if my assertions are inside "pragma"s (such as translate_on/off) - then Magma can handle it - that makes sense, in that case it simply doesn't even see that code.