binaryioset


Back to table

/*
BasicType
binaryioset

[binaryioset f]=function(binaryioset g);


A pair of binary number indicates a set of inputs, internal-states and outputs.

*/
//-------------------------------------------------------------------
// examples
// used for combinatorial logic
//   input -> output
[binaryioset a] = 2'b00 -> 1'b0;


// used for sequential logic 
//   input:state:internal_value:output
// internal_values are the outputs of the internal gates.
[binaryioset b] = 2'b00:3'b001:4'b1010:1'b0;

//-------------------------------------------------------------------
// result





IsBiUnateFunctionTo IsInverse IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSelfAntiDualFunction And AbsoluteExpression PureBinary bool ToAndXor ToSOP DiagramGateName Imply list() Minus Nor Not One Print Realization SOP Solve StateVariables Implementation FastVerificationData DontCare EnlargeLogicFunction Substitute Zero

Search This Website :

 
Buy website traffic cheap