SOFTWARE DESIGN VERIFICATION AND VALIDATION - Software Design for Six-Sigma: A Roadmap for Excellence - page 518

TABLE 19.2 Summarizes and Compares Some of the Verification Methods.

Verification
Method Include Complexity Most Applied to Tool

Hybrid Symbolic

checking
model

Invoking RTL
document,
initializing
computation,
and
calculating
the state

Large circuits,
systems
support SMC
and STE,
such as
thunder
forecast
systems

Hybrid
verification
tool

Basic
Functional

Test bench
model

Coverage mea-
surements
metrics

Parameters
associated to
input and
output data

Stimuli filtering
and reactive
test bench

Using Petri Net Petri Net state

flows

3 model metrics:
bounded,
safe, and
deadlock

Domain
knowledge
systems

Petri Net
Analyzer
Version 1.0

overview of commercially available tools that are integral pieces, providing essential
large-stage or small-step additions to a movement toward a universal all-in-one
verification and validation tool paradigm.

19.6.1 MATHWORKS HDL Coder

MATHWORKS (Natick, MA) provides a widely used and highly sophisticated tool
set for model-based design and a variety of code generation utilities for application
software development. One example of an extension product that does not fulfill
the implications of its utility is the Simulink hardware descriptive language (HDL)
Coder. HDL coder is an extension of the model-based development package whose
intended use is the autocreation of HDL code for use in a third-party synthesis
tool. Although the HDL coder offers the automation of a test bench and saves the
user from learning additional software programming languages (VHDL or Verilog-
HDL), it still lacks a complete solution because the tool requires the acquisition
of other tool sets: synthesizers such as Synplify (San Jose, CA) and simulation
tools Mentor Graphics (Wilsonville, OB) ModelSim (Wilsonville, OR) simulator or
Cadence Incisive (Natick, MA) to affect code instrumentation (device programming
with production ready microcontroller code). The end result is that this tool is really
just a conversion instrument from one type of simulation (model-based) to another
(hardware description), prompting third-party providers such as Impulse C (San Jose,
CA) to develop a code optimization extension tool, again with the impetus landing
on the engineer to learn to navigate an additional development platform, complete
with new flavors of proprietary C-code syntax.