Home > Community > Forums > Functional Verification > When will IUS support union?

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 When will IUS support union? 

Last post Thu, Jun 7 2007 2:10 AM by archive. 1 replies.
Started by archive 07 Jun 2007 02:10 AM. Topic has 1 replies and 994 views
Page 1 of 1 (2 items)
Sort Posts:
  • Thu, Jun 7 2007 2:10 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    When will IUS support union? Reply

    Hi Cadence,

    We know that union is useful in type define. So when will IUS support union?

    Best regards,
    Davy


    Originally posted in cdnusers.org by davyzhu
    • Post Points: 0
  • Thu, Aug 16 2007 1:03 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: When will IUS support union? Reply

    I fully support your question. The union construct is very useful in describing things like
    software views and OSI stack models. Without union this requires a lot of type casting,
    losing type-checking features (from experience :-( ).
    I understand it may be a difficult construct to implement in the tool chain since it involves
    changes in many tools: from simulation to formal verification.
    Still I'm sort of disappointed no one from Cadence has responded to your request/question...
    (at least not in the forum)

    Best regards,
    Joep


    Originally posted in cdnusers.org by boonstrj
    • Post Points: 0
Page 1 of 1 (2 items)
Sort Posts:
Started by archive at 07 Jun 2007 02:10 AM. Topic has 1 replies.