36 #ifndef TVGENERATOR_H_
37 #define TVGENERATOR_H_
44 #include "StdLogicVector.h"
62 bool isSingleFileBased_;
76 void WriteTVFileHeader();
77 void WriteTVFileHeader(ofstream & _tvFile,
TVFileSettings & _fileSettings);
78 void WriteTVFileHeaderEntry(ofstream & _tvFile,
TVFileSettings & _fileSettings,
79 string _prefix,
string _entry);
80 int WriteTVLine(ofstream & _tvFile,
TVFileSettings & _fileSettings,
81 vector<StdLogicVector> _signalValues,
string _comment,
int & _tvCount);
82 void WriteArbitraryTVLine(ofstream & _tvFile,
TVFileSettings & _tvFileSettings,
83 string _line,
string _comment);
84 void WriteTVCommentLine(ofstream & _tvFile,
TVFileSettings & _tvFileSettings,
86 void WriteSignalCaptions(ofstream & _tvFile,
TVFileSettings & _tvFileSettings);
87 string GeneratePreSignalCaptionString(
const TVFileSettings & _tvFileSettings,
100 int GetTVCount()
const {
return testVectorCount_; }
101 int GetStimuliCount()
const {
return stimuliCount_; }
102 int GetExpRspCount()
const {
return expRspCount_; }
111 int WriteTestVectorLine(vector<StdLogicVector> _signalValues,
113 int WriteStimuliLine(vector<StdLogicVector> & _stimuliValues,
string _comment);
114 int WriteExpRspLine(vector<StdLogicVector> & _expRspValues,
string _comment);
116 void WriteArbitraryTVLine(
string _line);
117 void WriteArbitraryTVLine(
string _line,
string _comment);
118 void WriteArbitraryStimuliLine(
string _line);
119 void WriteArbitraryStimuliLine(
string _line,
string _comment);
120 void WriteArbitraryExpRspLine(
string _line);
121 void WriteArbitraryExpRspLine(
string _line,
string _comment);
123 void WriteTVCommentLine(
string _comment);
124 void WriteStimuliCommentLine(
string _comment);
125 void WriteExpRspCommentLine(
string _comment);
A class for setting the properties of a test vector file.
Test vector file settings.
Definition: TVFileSettings.h:49
Test vector file generator for hardware designs.
Definition: TVGenerator.h:56
Contains a class for declaration of signals.