Re: Defining enumerated types in MaxPlus II

Chris (ctumpach@ece.ubc.ca) Tue, 29 Feb 2000 20:29:14 -0800 

Date: Tue, 29 Feb 2000 20:29:14 -0800
From: Chris <ctumpach@ece.ubc.ca>
Subject: Re: Defining enumerated types in MaxPlus II



Hi James,

The encoding you specified ("0000", "0001" etc.) is the most obvious one
but it is only one of  2^4 possible encodings. I think that MaxPlusII
actually choses the state encoding to optimize the amount of logic
generated. Some "smart" tools actually do that for you. This should not
affect the functionality of your circuit in any way.

When you use constants for the states you are explicitly specifying the
state encoding.

Hope this clarifies things,
Noha