Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems

  • Shobha Vasudevan
  • , Vinod Viswanath
  • , Robert W. Sumners
  • , Jacob A. Abraham

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science