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
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary bool() Diagram DigitalSystem Load logicvardef NumberSystem PositiveIntegerToMantissa Or real SAT ShortestInputsForDistinguishTwoStates StateVariables StateTransitionBasedly ToFeedbackSystem Implementation FastVerificationData MultiCover SimpleCover SimpleInner ComputeDONTCARE Substitute Xor Zero