14 search results - page 1 / 3 » Reliable verification using symbolic simulation with scalar ... |
DAC
2000
ACM
13 years 10 months ago
2000
ACM
DAC
1990
ACM
13 years 9 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 9 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
TACAS
1998
Springer
13 years 10 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 9 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 ...