14 search results - page 1 / 3 » Reliable verification using symbolic simulation with scalar ... |
DAC
2000
ACM
13 years 9 months ago
2000
ACM
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...
CAV
1990
Springer
13 years 8 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
EUROSYS
2011
ACM
12 years 8 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...