11 search results - page 3 / 3 » Control Path Oriented Verification of Sequential Generic Cir... |
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...