The Verification Methodology Manual for SystemVerilog (VMM) standard library provides a scenario generator that can be built automatically to match any user-defined stimulus data class. This ready-to-run generator can then be customized to provide structured streams of randomized stimulus for a verification environment. This paper presents an introduction to simple customization of the VMM scenario generator, and then reports the experience with the management of more complex stimulus. It will also compare the tradeoffs between procedurally-generated scenarios and purely declarative, constraint-driven scenarios, and examine the potential of well-designed scenario generation to enhance effective re-use of verificatio
Developing training scenarios that induce a trainee to utilize specific skills is one of the facets ...
We discuss our current efforts at developing automatic scenario generation software. We begin by exp...
The research presented in this article is focused on managing the process of inserting new scenario ...
Abstract—Simulation-based verification is still the most fre-quently used technique when complex des...
Simulation-based approaches that require to drive the design under verification (DUV) to specific co...
To enhance the effectiveness of engineering simulations in product development, this thesis presents...
Models are increasingly recognized as an effective means for elaborating requirements and exploring ...
Abstract—Functional verification of complex designs is still dominated by simulation-based approache...
Models are increasingly recognized as an effective means for elaborating requirements and exploring ...
Scenarios have proven to be a valuable tool in evaluating and communicating usability issues in cons...
International audienceWhen defining virtual reality applications with complex procedures, such as me...
Within scenario-based training, the creation of said scenarios is a timeconsuming and expensive proc...
International audienceThis article presents a model-based test generation technique, from user-defin...
Requirements-related scenarios capture typical examples of system behaviors through sequences of des...
Abstract—Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of ...
Developing training scenarios that induce a trainee to utilize specific skills is one of the facets ...
We discuss our current efforts at developing automatic scenario generation software. We begin by exp...
The research presented in this article is focused on managing the process of inserting new scenario ...
Abstract—Simulation-based verification is still the most fre-quently used technique when complex des...
Simulation-based approaches that require to drive the design under verification (DUV) to specific co...
To enhance the effectiveness of engineering simulations in product development, this thesis presents...
Models are increasingly recognized as an effective means for elaborating requirements and exploring ...
Abstract—Functional verification of complex designs is still dominated by simulation-based approache...
Models are increasingly recognized as an effective means for elaborating requirements and exploring ...
Scenarios have proven to be a valuable tool in evaluating and communicating usability issues in cons...
International audienceWhen defining virtual reality applications with complex procedures, such as me...
Within scenario-based training, the creation of said scenarios is a timeconsuming and expensive proc...
International audienceThis article presents a model-based test generation technique, from user-defin...
Requirements-related scenarios capture typical examples of system behaviors through sequences of des...
Abstract—Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of ...
Developing training scenarios that induce a trainee to utilize specific skills is one of the facets ...
We discuss our current efforts at developing automatic scenario generation software. We begin by exp...
The research presented in this article is focused on managing the process of inserting new scenario ...