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 IsBiUnateFunction IsSymmetricFunctionTo IsUnateFunction BDD PureBinary binary Convert ToAndXor ToTruthTable Dimacs Email Load Nand Not MantissaToPositiveInteger MantissaToPositiveNumber PositiveIntegerToMantissa POS real() SOP InputVariables ToStateTransitionTable BestVariableOrder Canonical ComputeFunctionOrder Normalization SemanticEval Substitute Zero

Search This Website :

 
Buy website traffic cheap