Provably correct high-level timing analysis without path sensitization.

Subhrajit Bhattacharya Sujit Dey Franc Brglez

Published in: ICCAD (1994)

Keyphrases

provably correct
high level
low level
formal methods
situation calculus
interval arithmetic
programming language
open source
higher level
mid level
conceptual model
constraint satisfaction
error estimates
lower level
endpoints
data sets
shortest path
object oriented
case study