3 search results - page 1 / 1 » Robust QBF Encodings for Sequential Circuits with Applicatio... |
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
DAC
1990
ACM
13 years 11 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...