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





Advanced MatchLogicFunction IsBlankFunction IsCovering IsInverse IsSymmetricFunction List GrayCode StringToBinaryNumber TwoComplement binaryioset bool() Dimacs logicvardef() logicvardef minterm Not MantissaToPositiveInteger One OutputAndStateBasedly Compatibility FastVerificationData StateTransition CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Normalization ShrinkLogicFunction var Zero

Search This Website :

 
Buy website traffic cheap