MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
High-level synthesisRegister-transfer levelCircuitElaborationSpecification languageFormal equivalence checkingStructured analysisComputer algebraMetasyntaxModel-based designModel of computationCombinational logicFormal verificationProgramming language theorySymbolic executionSyntaxTransductionLogic gateDenotational semanticsIpo modelBoolean circuitTiming closureInductive logic programmingFormal specificationQuantum circuitDeclarative programmingControl flowTheory of computationCircuit complexityGenerative designComputational modelLogic optimizationFunctional requirementSymbol tableSpecification patternType systemComputer simulationDesign computingLexical analysisCircuit satisfiability problemSequential logicMathematical logicFunction modelPhysical modelling synthesisDesign rule checkingParsingAction languageUnificationInductive programmingFormal grammarControl-flow graphParsing expression grammarQuantum logic gateSwitch statementPhysical symbol systemProcedural generationComposite data typeGeneric programmingPurely functional programmingComputational learning theoryInstruction cycleConstraint programmingAutomata-based programmingAlgorithmMetacompilationRegister machineModel checkingRule of inferenceScientific computingData-driven programmingSymbolic logicHoare logicLalr parserOntology engineeringPropositional logicComputational linguisticsFinite-state machineShunting yard algorithmComputational semanticsModel-based systems engineeringComputational engineeringRecursive descent parserControlled not gateAutomated theorem provingTest caseDesign optimizationInteraction designSimulationCoinductionType theoryTop-down parsingDynamic programming languageStructured programmingInformation modelSystems designSet-builder notationComputable functionAutomated reasoningData-flow analysisTransformational grammar