Relating Multi-step and Single-Step Microprocessor Correctness Statements.

Mark D. Aagaard Nancy A. Day Meng Lou

Published in: FMCAD (2002)

Keyphrases

single step
multi step
lower bounding
knn
high speed
k nearest neighbor
circuit design
natural language
design methodology
tumor classification
semi supervised
functional verification
floating point