Register Estimation from Behavioral Specifications.

Alok Sharma Rajiv Jain

Published in: ICCD (1994)

Keyphrases

accurate estimation
high level
estimation accuracy
behavioral patterns
real world
artificial intelligence
maximum likelihood estimation
formal specification