3 search results - page 1 / 1 » Robust QBF Encodings for Sequential Circuits with Applicatio... |
ICCAD
2002
IEEE
14 years 1 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 8 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...