#include <oagFpgaSimOcc.h>
Public Types | |
typedef unsigned int | SimVec |
Public Member Functions | |
SimOcc (oa::oaDesign *design) | |
Constructor. | |
void | setVector (OccRef &ref, SimulationVector vec) |
Sets the simulation vector of a reference. | |
void | generateRandomInputVectors () |
Generates a set of random vectors at all inputs. | |
void | generateRandomStateVectors () |
Generates a set of random vectors at all state bits. | |
void | clear () |
Clears all previously set and computed vectors. | |
void | nextCycle () |
Advances all of the state bits to the next state value. | |
void | runFull () |
Propagates simulation vectors through all combinational logic. | |
void | initializeIncremental () |
void | runIncremental () |
bool | getVector (const OccRef &ref, SimulationVector &vec) |
Returns the simulation vector stored for a reference. | |
Protected Member Functions | |
SimulationVector | randomVector () |
a random vector | |
Protected Attributes | |
int | BITS_PER_RAND |
oa::oaDesign * | design |
list< OccRef > | toBeSimulated |
map< OccRef, SimulationVector > | data |
Definition at line 36 of file oagFpgaSimOcc.h.
|
Definition at line 40 of file oagFpgaSimOcc.h. |
|
Constructor.
Definition at line 29 of file oagFpgaSimOcc.cpp. References BITS_PER_RAND, and clear(). |
|
Clears all previously set and computed vectors.
Definition at line 51 of file oagFpgaSimOcc.cpp. References data, and toBeSimulated. Referenced by SimOcc(). |
|
Generates a set of random vectors at all inputs.
Definition at line 100 of file oagFpgaSimOcc.cpp. References design, randomVector(), and setVector(). |
|
Generates a set of random vectors at all state bits.
Definition at line 84 of file oagFpgaSimOcc.cpp. References design, randomVector(), and setVector(). |
|
Returns the simulation vector stored for a reference.
Definition at line 304 of file oagFpgaSimOcc.cpp. References data, and toBeSimulated. |
|
|
|
Advances all of the state bits to the next state value.
Definition at line 321 of file oagFpgaSimOcc.cpp. References data, design, and toBeSimulated. |
|
a random vector
Definition at line 118 of file oagFpgaSimOcc.cpp. References oagFunc::SimulationVector. Referenced by generateRandomInputVectors(), and generateRandomStateVectors(). |
|
Propagates simulation vectors through all combinational logic.
Definition at line 138 of file oagFpgaSimOcc.cpp. References data, DEBUG_PRINT, DEBUG_PRINTMORE, design, oagFunc::SimulationVector, and toBeSimulated. |
|
|
|
Sets the simulation vector of a reference.
Definition at line 67 of file oagFpgaSimOcc.cpp. References data, and toBeSimulated. Referenced by generateRandomInputVectors(), and generateRandomStateVectors(). |
|
Definition at line 61 of file oagFpgaSimOcc.h. Referenced by SimOcc(). |
|
Definition at line 65 of file oagFpgaSimOcc.h. Referenced by clear(), getVector(), nextCycle(), runFull(), and setVector(). |
|
Definition at line 63 of file oagFpgaSimOcc.h. Referenced by generateRandomInputVectors(), generateRandomStateVectors(), nextCycle(), and runFull(). |
|
Definition at line 64 of file oagFpgaSimOcc.h. Referenced by clear(), getVector(), nextCycle(), runFull(), and setVector(). |