elements of e n.
Download
Skip this Video
Download Presentation
Elements of e

Loading in 2 Seconds...

play fullscreen
1 / 5

Elements of e - PowerPoint PPT Presentation


  • 54 Views
  • Uploaded on

Elements of e. Matthew Morley Verisity matthew@verisity.com. Main Design Criteria. Sequential dependency Hierarchic specification Low complexity in simulation Linear / Trace semantics Multiple / Asynchronous clocks Data sampling Ease of use by DV engineers. For Formal Verification….

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Elements of e' - maisie-mcconnell


Download Now An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
elements of e

Elements of e

Matthew Morley

Verisity

matthew@verisity.com

main design criteria
Main Design Criteria
  • Sequential dependency
  • Hierarchic specification
  • Low complexity in simulation
  • Linear / Trace semantics
  • Multiple / Asynchronous clocks
  • Data sampling
  • Ease of use by DV engineers
for formal verification
For Formal Verification…
  • Regular Expressions
  • LTL like construction
  • Formal semantics over finite traces
  • … and over infinite traces
  • Assumptions and properties
  • Cyclic, Safety, Liveness
not dogmatic about
Not dogmatic about…
  • Boolean expression syntax
  • “fixpoint” temporal operators
simple additions
Simple additions
  • Free variables
  • Named temporal expressions (cf events)
  • Reset primitive (cf clocks)
  • Syntax for weak operators (Until, Sample)
  • Fusion (cf chop)
ad