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
IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsUnateFunctionTo ToAndOr StringToBinaryNumber ToAndXor ToOrAnd AddXorTerm ToDiagram Dimacs ExcitationTable FeedbackDiagram Radixes real() SOP To2LayerNand TransitionSeries Assign CreateCompactTable Compatibility ROBDD Canonical DontCare StateTransition IndependentBase ShannonExpansion XORP Zero