On-the-Fly Reduction of Stimuli for Functional Verification.

Qi Guo Tianshi Chen Haihua Shen Yunji Chen Weiwu Hu

Published in: Asian Test Symposium (2010)

Keyphrases

functional verification
low latency
information systems
formal verification
hardware software