Kalpana Kalpana (Editor)

Symbolic trajectory evaluation

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19

Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour are removed from the circuit model. It was first developed by Carl Seger and Randy Bryant in 1995 as an alternative to "classical" symbolic model checking.

References

Symbolic trajectory evaluation Wikipedia


Similar Topics
The Tunnel (1933 French language film)
Mohamed Abu Hamed
Kat Richardson
Topics
 
B
i
Link
H2
L