Login / Signup

On the functional test of the BTB logic in pipelined and superscalar processors.

D. ChangdaoMariagrazia GrazianoErnesto SánchezMatteo Sonza ReordaMaurizio ZamboniN. Zhifan
Published in: LATW (2013)
Keyphrases
  • modal logic
  • information systems
  • test data
  • functional analysis
  • multiscale
  • statistical significance
  • software testing
  • multi valued
  • computational properties
  • proof theory
  • linear array