Subject: new attribute (* synthesis, combinational *)
From: Stefen Boyd (stefen@boyd.com)
Date: Mon Dec 17 2001 - 11:46:29 PST
I'd like to propose a new attribute that closes
the last hole in creating combinational logic.
always @* takes care of the sensitivity list, but
doesn't guarantee combinational logic since an
if without an else could create a latch.
(* synthesis, combinational *) always @*
This would enforce that the logic produced
must be combinational (eg. no latches).
Any tools supporting the synthesis standard
(Synthesis and formal tools) would enforce this
intent by providing an error.
Regards,
Stefen
--------------------
Stefen Boyd Boyd Technology, Inc.
stefen@BoydTechInc.com (408)739-BOYD
www.BoydTechInc.com (408)739-1402 (fax)
This archive was generated by hypermail 2b28 : Mon Dec 17 2001 - 11:53:56 PST