#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(). |
1.3.9.1