Advertisement

“assume” and “restrict” for Simulation and Formal (Static Functional) Verification

  • Ashok B. Mehta
Chapter

Abstract

This chapter describes “assume” and “restrict” statements and their usage for “static formal” (or “static functional”) and “constrained random” methodologies.

Keywords

assume restrict dist operators 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Ashok B. Mehta
    • 1
  1. 1.DefineView ConsultingLos GatosUSA

Personalised recommendations