Publication | Closed Access

Race a word-level atpg-based constraints solver system for smart random simulation

Smart Random SimulationSimulation MethodologyEngineeringAutomated ReasoningFormal MethodsComputer EngineeringSystems EngineeringSimulationParallel ProgrammingComputer ScienceModeling And SimulationDiscrete-event SimulationSimulation OptimizationSimulation LanguageConstraint Programming