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
IsCovering IsPositiveUnateFunctionTo BDD GrayCode bool() ToROBDD ToShannonTree DiagramGateName Dimacs Eq FeedbackDiagram Imply list() MantissaToPositiveNumber Radixes object() POS real() To2LayerOrAnd ToFullAnd SAT ToFeedbackSystem CreateCompactTableWithFullSimplification Simplification FullTable HuffmanMealy Canonical GetDontCareLogicFunction Normalization Zero