Conference paper
Software falsifier
D. Brand
ISSRE 2000
Paper
A note on data abstractions
Abstract
No abstract available.
Related
Conference paper
EXPERIMENT IN SILICON COMPILATION.
Viktors Berstis, D. Brand, et al.
ISCAS 1984
Conference paper
Hill climbing with reduced search space
D. Brand
ICCAD 1987
Conference paper
Applications of global flow analysis in logic synthesis
Leonard Berman, Louise Trevillyan, et al.
ISCAS 1987