Guest | Login

Efficient Generation of Test Patterns Using Boolean Satisfiability

Company:Digital Equipment Corporation
Part:WRL 90/2
Date:1990-02
Keywords:

Copies

Address:http:/​/​bitsavers.org/​pdf/​dec/​tech_​reports/​WRL-90-2.pdf
Site:Al Kossow's Bitsavers
Format:PDF
Size:323536 bytes (316 KiB)
Mirrors: