Date: Thu Feb 22 2007 - 01:45:08 PST
Hi, I glanced over the proposal for Mantis 1674. I see that it says, "The disable condition can only be inferred from a synthesizable synchronous always block with asynchronous reset or from always_ff with asynchronous reset." This statement is problematic. The LRM does not define anywhere what is synthesizable, and rightly so, because 1. This is not a standard for synthesis. 2. What is synthesizable is constantly expanding. 3. What is synthesizable varies from tool to tool. I don't think this statement can remain as it is. Regards, Shalom Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6852 +972 54 721-1033 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
