Re: [sv-ac] Cyclicity issues

Subject: Re: [sv-ac] Cyclicity issues
From: John Havlicek (john.havlicek@motorola.com)
Date: Thu Feb 13 2003 - 05:55:19 PST

• Next message: John Havlicek: "Re: [sv-ac] alternative proposal to "syn1": remove binary delay"
• Previous message: Erich Marschner: "RE: [sv-ac] and, or, intersect"
• In reply to: Joseph Lu: "[sv-ac] Cyclicity issues"
• Reply: John Havlicek: "Re: [sv-ac] Cyclicity issues"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Joseph:

> seq s = (x;y)
> seq t = (y;x)
>
> Property:
>
> assert: if (mode == T) then not(s and t)

I see no problem with these definitions. I would not
call them cyclic. The "syntactic dependency graph" for
them looks like

  s -----> x <----- t
     | |
     ----> y <----

which is not cyclic (as a directed graph).

Best regards,

John Havlicek

• Next message: John Havlicek: "Re: [sv-ac] alternative proposal to "syn1": remove binary delay"
• Previous message: Erich Marschner: "RE: [sv-ac] and, or, intersect"
• In reply to: Joseph Lu: "[sv-ac] Cyclicity issues"
• Reply: John Havlicek: "Re: [sv-ac] Cyclicity issues"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Feb 13 2003 - 05:55:57 PST