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
Analysis IsUnateFunction Binary BCDEx3 bool Convert ToROBDD Imply long NumberSystem PositiveIntegerToMantissa PermutationMatrix To2LayerNor Save Forwardly StateVariables ToFeedbackSystem ToDigitalSystem To2layerOrAnd Fast ROBDD Canonical string GetSubTable Utility SemanticEval Substitute Xor XORP Zero