- Home page
- Aims and scope
- Call for papers
- Industrial case studies
- I. Conformance checking
Arvind, Stan Liao, Nancy Lynch, Carl Pixley, Rob Slater, Marten Van Hulst
- II. Hierarchical verification
Forrest Brewer, Hans Eveking, Grant Martin
- III. Abstraction vs. optimization
Brian Bailey, Stephen Edwards, Rajesh Gupta, James Hoe
- IV. Incremental verification
Harry Foster, Hillel Miller, Marten Van Hulst
- V. Post-production patchability
Forrest Brewer, Masahiro Fujita
|
Industrial case studies. Prospective authors are
invited to submit novel and unpublish work devoted to the presentation
of position papers and scientific contributions on actual design
problems proposed by members of the program committee from major EDA
industry companies.
- Problem IV : Functional Coverage, Test Generation, and
Incremental Verification
- Authors : Harry Foster, Hillel Miller, Marten Van Hulst
-
Automatic generation of functional test cases and coverage collection
are key techniques for automating verification. Independent of the
level of abstraction, we can identify the following main tasks:
- 1) Collecting coverage goals (the goals can relate to an
implementation or an abstract specification),
- 2) Coding the coverage goals in a machine-readable form for automatic
processing
- 3) Effectively generating functional tests
- 4) Collecting coverage data and reporting results
- 5) Forwarding coverage data back to the test generation
-
While far from trivial at the RT-level, in the context of higher level
description formalisms each of the items above may involve additional
issues that need to be adressed. This includes a very broad scope of
issues that involves performance, reusability, concessiveness,
completeness, formal verification, etc. Without attempting to
introduce all possible issues, we inspire the writer to consider the
cogent issues and invent possible solutions.
|
