You are not logged in.
Skip Navigation Links
Drag and drop file to the editor for uploading the file. Text file max 10 MB. Data quota will be deducted every upload and download.
MatchLogicFunction IsBiUnateFunction IsBlankFunction IsLinearFunction IsSelfAntiDualFunction IsUnateFunctionTo binary() FromBinary TwoComplement binaryioset() binaryioset AddXorTerm ToVariableInvertedFunction Count Nor PositiveDecimalToMantissa SOP To2LayerAndOr To2LayerNand Solve ShortestInputsForDistinguishTwoStates Backwardly Forwardly ROBDD TimingChart ComputeDONTCARE IndependentBase Normalization var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.