TimingChart
Back to table
/*
LogicObject
TimingChart
[TimingChart f]=TimingChart(){ };
Define a sequential logic-object in the form of timing-chart
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBlankFunction AndOr ToAndOr AbsoluteExpression PureBinary ToDiagram ToNotFunction ToROBDD Dimacs Email MantissaToPositiveDecimal PermutationMatrix real() To2LayerNor SOP ShortestInputsForDistinguishTwoStates ShortestInputsForTransition AutoAssignInputAndStateVariables StateTransitionBasedly CreateCompactTable GetExcitationTable Implementation Fast Canonical GetNegativeLogicFunction SemanticEval ShannonExpansion XORP Zero