Symbolic functional vector generation for VHDL specifications

@article{Ferrandi1999SymbolicFV,
  title={Symbolic functional vector generation for VHDL specifications},
  author={Fabrizio Ferrandi and Franco Fummi and Luca Gerli and Donatella Sciuto},
  journal={Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078)},
  year={1999},
  pages={442-446}
}
Verification of the functional correctness of VHDL specifications is one of the primary and most time consuming tasks of design. However, it must necessarily be an incomplete task since it is impossible to completely exercise the specification by exhaustively applying all input patterns. The paper aims at presenting a two-step strategy based on symbolic analysis of the VHDL specification, using a behavioral fault model. First, we generate a reduced number of functional test vectors for each… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS
27 Citations
3 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 27 extracted citations

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…