Subject: RE: new attribute (* synthesis, combinational *)
From: J. Bhasker (jbhasker@Cadence.COM)
Date: Mon Dec 17 2001 - 12:23:58 PST
stefan:
i like this one.
- bhasker
--J. Bhasker Cadence Design Systems 7535 Windsor Drive, Suite A200, Allentown, PA 18195 (610) 398-6312, (610) 530-7985(fax), jbhasker@cadence.com
-----Original Message----- From: owner-vlog-synth@eda.org [mailto:owner-vlog-synth@eda.org]On Behalf Of Stefen Boyd Sent: Monday, December 17, 2001 2:46 PM To: vlog-synth@eda.org Subject: new attribute (* synthesis, combinational *)
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 - 12:29:42 PST