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.
Physical verificationFunctional verificationDesign rule checkingElectronic design automationHardware emulationLogic synthesisProcess validationHardware description languageAutomatic test pattern generationHardware verification languageFormal methodsIn-circuit testingIntegrated circuit designStructured analysisCellSchematic captureTest design techniqueStatic timing analysisParasitic extractionEquivalence partitioningDesign for testingFormal specificationProcess design kitGraphical user interface testingFunctional requirementSoftware verificationSemiconductor device fabricationHigh-level synthesisSpecification languageRegister-transfer levelModel-based systems engineeringIpo modelComputerized system validationRoutingIn-circuit emulationConfiguration managementComputer-aided quality assuranceTest caseStandard delay formatStandard cellFunction modelClock domain crossingTransaction-level modelingComputer-automated designOperational semanticsTest-driven developmentIntegrated circuit layoutCircuit designTest automationProof assistantModel-based testingProgram synthesisSynchronous circuitSoftware quality assuranceContinued process verificationData validation and reconciliationCompiler-compilerSymbolic executionLevel shifterProof-carrying codeTest suiteSystems development life cycleTest doubleBuild automationComputer architectureDesign for manufacturabilityProcessor designData modelingSoftware system safetyReproducible buildsPerformance engineeringCompatibility testingTiming closureExecutionComputer programmingElectronic circuitIntegrated circuit packagingSystemverilogDebuggingHoare logicAssembly modellingDigital modeling and fabricationDigital electronicsIntermediate data formatProcess simulationSoftware developmentControl flow analysisChange controlDomain analysisData validationIntegration testingElectronic symbolPsim softwareSoftware designDesign reviewComputer-aided designStuck-at faultPlanar processApi testingSoftware performance testing