Publication | Closed Access
Switch-level concurrent fault simulation based on a general purpose list traversal mechanism
21
Citations
10
References
2003
Year
Unknown Venue
EngineeringComputer ArchitectureSystem-level DesignConcurrent SystemSoftware AnalysisHardware SystemsFormal VerificationTraversal MechanismReliability EngineeringConcurrency (Computer Science)Systems EngineeringParallel ComputingAsynchronous CircuitsConcurrent ProgrammingComputer EngineeringComputer ScienceProgram AnalysisConcurrent SimulationSoftware TestingConcurrency TheoryGeneral-purpose Traversal MechanismFormal MethodsParallel ProgrammingConcurrent Data StructureAsynchronous SystemsFault Injection
A general-purpose traversal mechanism is described which is used to perform concurrent simulation for complex devices. This traversal mechanism performs all list handling necessary for an accurate and efficient concurrent simulation at a complexity level much higher than that of the gate level. The work on this general-purpose traversal mechanism project has been done within the DECSIM logic simulator. The work to date includes the realization of concurrent MOS fault simulation and the early stage of designing concurrent behavior fault simulation.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1