Login / Signup
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog.
John Howard Eli Fiskio-Lasseter
Amr Sabry
Published in:
Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
</>
theoretical framework
decision making
natural language
higher level
computational model
test data
theoretical basis
decision theory
test suite
general theory
databases
multiscale
theoretical foundation
statistical tests