Re: [sv-ac] cyclicity and ill-founded forms

Subject: Re: [sv-ac] cyclicity and ill-founded forms
From: dudani@us04.synopsys.com
Date: Sun Feb 09 2003 - 19:52:42 PST

Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] Agenda for Full SV meeting on February 28"
Previous message: John Havlicek: "[sv-ac] cyclicity and ill-founded forms"
In reply to: John Havlicek: "[sv-ac] cyclicity and ill-founded forms"
Next in thread: Adam Krolnik: "Re: [sv-ac] cyclicity and ill-founded forms"
Reply: dudani@us04.synopsys.com: "Re: [sv-ac] cyclicity and ill-founded forms"
Reply: Adam Krolnik: "Re: [sv-ac] cyclicity and ill-founded forms"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

All acyclic definitions are illegal. LRM should be updated to clearly state
this restriction.
Surrendra
At 04:36 PM 2/9/2003 -0600, you wrote:
>sv-ac@eda.org

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive
Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: dudani@synopsys.com
**********************************************

Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] Agenda for Full SV meeting on February 28"
Previous message: John Havlicek: "[sv-ac] cyclicity and ill-founded forms"
In reply to: John Havlicek: "[sv-ac] cyclicity and ill-founded forms"
Next in thread: Adam Krolnik: "Re: [sv-ac] cyclicity and ill-founded forms"
Reply: dudani@us04.synopsys.com: "Re: [sv-ac] cyclicity and ill-founded forms"
Reply: Adam Krolnik: "Re: [sv-ac] cyclicity and ill-founded forms"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Feb 09 2003 - 19:53:49 PST