Back to search

Virginia Tech

Integration of VHDL simulation and test verification into a Process Model Graph design environment

Abstract

dc:description.abstract

This thesis discusses the ability to maintain a consistent design, simulation, and test verification environment by use of the Process Model Graph (PMG) throughout the development process. This ability extends the functionality of the PMG to include the visualization of simulation results and the verification of test paths within the simulation. These ideas have been implemented within a development tool called the Modeler's Assistant. The integration of the test generation environment into the tool is discussed. The design methodology used in creating the simulation environment is also discussed. Other enhancements to increase the abilities of the tool and improve its usefulness to behavioral test generation and verification are also discussed. Many examples of the new extentions to the tool are presented.

Degree

thesis:*
Name thesis:degree_name
Master of Science
Level thesis:degree_level
masters
Discipline thesis:degree_discipline
Electrical Engineering
Department dc:contributor.department
Electrical Engineering
Grantor dc:publisher
Virginia Tech
Year dc:date.issued
1994

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Dailey, David M.
Chair dc:contributor.committeechair
  • Armstrong, James R.
Committee members dc:contributor.committeemember
  • Cyre, Walling R.
  • Gray, Festus Gail

Rights

dc:rights
Statement dc:rights
  • In Copyright
Language dc:language.iso
en

Identifiers

dc:identifier.*
Dc Identifier Other
etd-11242009-020247
OAI identifier oai:identifier
oai:vtechworks.lib.vt.edu:10919/46017

Chain of custody

source
Harvested from
Virginia Tech
Base URL
vtechworks.lib.vt.edu/oai/request
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
related terms
citation

Dailey, David M.. Integration of VHDL simulation and test verification into a Process Model Graph design environment. masters thesis, Virginia Tech, 1994. http://hdl.handle.net/10919/46017