binaryioset()
Back to table
/*
BasicType
binaryioset()
[binaryioset() f]=function(binaryioset() g);
A list of binaryiosets
*/
//-------------------------------------------------------------------
// examples
// used for combinatorial logic
// input -> output
[binaryioset() a] = (
2'b00 -> 1'b0,
2'b01 -> 1'b0,
2'b10 -> 1'b1
);
// 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,
2'b01:3'b011:4'b1110:1'b1,
2'b10:3'b101:4'b1101:1'b0,
2'b11:3'b011:4'b0101:1'b1
);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBiUnateFunctionTo IsBlankFunction IsCovering IsSelfAntiDualFunction IsSymmetricFunctionTo IsUnateFunctionTo AndXor FromBinary MaxValue ToBinary OneComplement AddXorTerm Dimacs Email Imply minterm() Nor object() Assign To2layerOrAnd Balanced Fast ROBDD DontCare StateDeviceName string GetNegativeLogicFunction var Zero