Hierarchical models of synchronous circuits for formal verification and substitution

  • Authors:

  • Elizabeth Susan Wolf

  • Affiliations:

  • Stanford Univ.

  • Venue:
  • Hierarchical models of synchronous circuits for formal verification and substitution
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract