Publication | Closed Access
Concurrent simulation of nearly identical digital networks
236
Citations
0
References
1974
Year
EngineeringVerificationNetwork AnalysisSoftware EngineeringFormal VerificationComputational TestingTest AutomationTest Verification ProgramParallel ComputingSemi-formal VerificationPossible FaultSystem TestingTesting TechniqueComputer EngineeringComputer ScienceTest PatternsDesign For TestingDistributed SimulationNetwork SimulationNetwork ScienceProgram AnalysisConcurrent SimulationSoftware TestingFormal MethodsAutomated Test EquipmentSimulation InfrastructureParallel Programming
Test patterns for testing digital circuits are usually checked on a test verification program to determine if all or most of the possible faults will be detected. Historically, such a test verification program would be accomplished with many simulations: one for each possible fault.