Affordable Access

Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking

Authors
Publication Date
Source
eScholarship - University of California
Keywords
  • Computer Engineering
  • Electrical Engineering
  • Electronic System Level
  • Formal Analysis
  • May Happen In Parallel
  • Satisfiability Modulo Theories
  • Transaction Level Model
  • Uppaal
External links

Abstract

Statistics

Seen <100 times