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
IsPositiveFunction IsSymmetricFunction IsSymmetricFunctionTo IsThresholdFunction IsUnateFunction IsZeroFunction ToAndOr OneComplement binary ToAndXor ToDiagram ToROBDD ToSOP Diagram LeastSignificantDigit MostSignificantDigit PermutationMatrix To2LayerNor To2LayerOrAnd To2LayerAndXor SAT Sequential ShannonTree MultiCover TimingChart GetPositiveLogicFunction SemanticEval var Xor Zero