Abstract
Testing the adherence of a hardware description language (HDL) tool to an associated HDL specification is of critical importance to design teams. This paper will develop practical test suite requirements, outline FTL System’s VIVATM technology for automatically generating and applying test suites, and describe the experimental results using VIVA (VHDL Interactive Validation Alchemy) to test FTL Systems’ Auriga ® family of HDL compilers.
was with FTL Systems as a student intern and with the University of Cincinnati. He is currently at Intel.
was with FTL Systems as a student intern and is currently with the University of Cincinnati.
is the President and CEO of FTL Systems.
was with FTL Systems and is currently at The University of Tennessee.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
John Willis, Philip A. Wilsey, Gregory D. Peterson, John Hines, and William Dashiell, “Semi-Automatic Validation of VHDL & Related Languages.” In the Proceedings of the Fall 1996 VHDL International Users’ Forum.
Robert M. Poston, Automating Specification-Based Software Testing, IEEE Press, 1996.
Paul C. Jorgensen, Software Testing, A Craftman’s Approach, CRC Press, 1995.
John D. Musa and Franck Ackerman, “Quantifying Software Validation: When to Stop Testing?,” IEEE Software: 6(3), May, 1989.
John W. Hines and Bill Billowitch, “Development of a VHDL Validation Suite.” In the Proceedings of the Spring 1995 VHDL International User’ s Conference.
Sathyanarayanan Seshadri, An Approach to Automatic Test Generation for Evaluating VHDL AMS Simulators, Master of Science Thesis, University of Cincinnati, July, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Seshadri, S., Thiyagarajan, S., Willis, J., Peterson, G.D. (2001). Automating the Validation of Hardware Description Language Processing Tools. In: Ashenden, P.J., Mermet, J.P., Seepold, R. (eds) System-on-Chip Methodologies & Design Languages. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3281-8_20
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3281-8_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4901-1
Online ISBN: 978-1-4757-3281-8
eBook Packages: Springer Book Archive