Environmental Engineering Reference
In-Depth Information
Table 5. The conformity between verification stages of FPGA-projects, tasks performed and methods
of task performance
Verification Stage
Verification Task
Verification Method
Development of signal
formation algorithm block-
diagrams
Completeness and correctness assessment of signal
formation algorithm block-diagrams
Documentation technical review
Conformity assessment to SRS
Traceability analysis
Structuredness assessment of algorithm block-
diagrams
Complexity assessment
Development of signal
formation algorithm block-
diagram program models in
CASE-tools environment
Testing of algorithm block-diagram program models
Functional and timing simulation in CASE-tools
environment
Completeness of tests assessment
Walk-through of documentation
Conformity assessment to algorithm block-diagrams
Traceability analysis
Integration of signal
formation algorithm block-
diagram program models in
CASE-tools environment
Testing of digital device program model
Functional and timing simulation in CASE-tools
environment
Completeness of tests assessment
Walk-through of documentation
Conformity assessment to program models
Traceability analysis
Implementation of digital
device program model to
FPGA
Testing of FPGA with implemented program model
Blackbox functional testing
Completeness of tests assessment
Walk-through of documentation
Conformity assessment to integrated program model
Traceability analysis
•
Each block-diagrams comprises a strict
signal formation condition formulation in
accordance with SRS.
• Necessary timing characteristics (back
ofs under alterations of input signals, sig-
nal formation delays, signal issuance time
before automatic de-energization, etc.) are
speciied in the scheme with necessary
accuracy.
•
Each block-diagram is performed under
established form as a connection of typi-
cal structural elements selected from a pre-
scribed standard set.
•
Inputs and outputs of each structural ele-
ment are clearly and unambiguously iden-
tiied in accordance with established rules.
Conformity criterion is meeting all the above
requirements to algorithm block-diagrams prepa-
ration.
Method of Functional and Timing Simulation
in CASE-Tools Environment:
Functional and
timing simulation in CASE-tools environment
implies testing of each of signal formation algo-
rithm block-diagram program models in design
environment as well as testing of the integrated
program model.
Under functional simulation conditions (“input
signals”) corresponding to normal operation and
to each of signal formation conditions are con-
secutively imitated at test inputs. Altered states
•
Identiiers and names are speciied for all
input signals, alteration limits being also
speciied for continuous signals.
•
Identiiers, names and destinations are
speciied for all output signals in the
scheme.
•
Set-points determining signal formation
conditions and return to normal operation
are speciied in the scheme with necessary
accuracy.
Search WWH ::
Custom Search