Rick, you are correct, VITAL-1995 specifies support of SDF 2.1 which does
not define removal. The VITAL TAG did, however, define a generic and
mapping to this generic although the standard does not prescribe that this
mapping actually takes place.
As for VITAL-1999, the Language Reference Manual will specify SDF 4.0, the
current IEEE version currently in ballot, as the supported version. This
version does define removal. Hence, the forthcoming VITAL LRM will
prescribe support for this.
Look for more announcements on vital@eda.org to join the VITAL-1999 ballot
group.
FYI, ModelSim 5.3 will add support for SDF 3.0. You will find support for
removal in this release. Additionally, Verilog $removal, $recovery and
$recrem are supported will be supported too. Look for info on availability
of ModelSim 5.3 at www.model.com.
Regards,
Dennis
-----Original Message-----
From: Rick Munden [mailto:munden@acuson.com]
Sent: Thursday, August 26, 1999 9:42 AM
To: vital@eda.org
Subject: removal check
Hello,
I just found my first use for the tremoval generic. I created a model
and a SDF file and tried to annotate timing. The simulator, ModelSim
5.2d did not seem to understand the REMOVAL keyword in the SDF file. On
further investigation, it appears that while VITAL95 is based on SDF
2.1, the REMOVAL keyword was not added to SDF until version 3.0.
Therefor, although it is in the standard, it cannot be expected to work.
Is my understanding correct? Would anyone from the TAG (or elsewhere)
care to comment?
Thanks,
Rick Munden
munden@acuson.com