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
IsBiUnateFunction IsLinearFunction IsSelfAntiDualFunction IsSymmetricFunction IsSymmetricFunctionTo AndXor ToAndOr BCD PureBinary Convert ToShannonTree ToVariableInvertedFunction list() Count long Not object() PermutationMatrix Print To2LayerAndOr StateVariables CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder ROBDD string CreateDummyLogicFunction EnlargeLogicFunction var Zero