Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions.
Sudarshan K. SrinivasanMiroslav N. VelevPublished in: MEMOCODE (2003)
Keyphrases
- experimental data
- data sets
- test data
- database
- data analysis
- probability distribution
- prior knowledge
- data points
- formal verification
- network structure
- probabilistic model
- data processing
- statistical methods
- data management
- data structure
- reinforcement learning
- big data
- application specific
- data transfer
- computer architecture
- training data
- state information
- memory hierarchy