Sequential.Implementation.ToDigitalSystem
Back to table
/*
SequentialLogic
Sequential.Implementation.ToDigitalSystem
[DigitalSystem sys]=Sequential.Implementation.ToDigitalSystem(StateTransition table);
Implement a state-transition-table with the state-devices.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsCovering IsPositiveFunction IsZeroFunction Binary ToBinary TwoComplement ToAndXor ToOrAnd ToDualFunction ToPOS ToROBDD ToShannonTree Eq list() Count LogicScript long() real() SAT Save AutoAssignInputAndStateVariables OutputAndStateBasedly CreateCompactTableWithFullSimplification MultiCover string CreateDummyLogicFunction IndependentBase ShrinkLogicFunction Substitute Zero