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
PermuteLogicFunction IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo AndXor binary() MaxValue BinaryNumberToString binaryioset ToNotFunction ToShannonTree ToXORP minterm Minus PositiveNumberToMantissa object() To2LayerNand Solve StateVariables ToStateTransitionTable FullTable ShannonTree FastVerificationData string() TimingChart GetSubTable CreateDummyLogicFunction Substitute var Zero