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
IsBlankFunction IsPositiveFunction IsSelfDualFunction IsUnateFunctionTo BCD BCDEx3 binaryioset bool() Dimacs Imply minterm MantissaToPositiveNumber Radixes RadixToIndex object() object PermutationMatrix SAT Sequential BestVariableOrder MultiCover SimpleCover TruthTable CreateFromLogicFunctions ComputeFunctionOrder EnlargeLogicFunction IndependentBase ShrinkLogicFunction Xor Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.