Conference paper
Software falsifier
D. Brand
ISSRE 2000
Paper
A note on data abstractions
Abstract
No abstract available.
Related
Conference paper
TIMING ANALYSIS USING FUNCTIONAL RELATIONSHIPS.
D. Brand, V.S. Iyengar
ICCAD 1985
Conference paper
Verification of large synthesized designs
D. Brand
ICCAD 1993
Conference paper
Synthesis of pseudo-random pattern testable designs
V.S. Iyengar, D. Brand
IEEE ITC 1989