Efficient Modeling of Memory Arrays in Symbolic Simulation.

Miroslav N. Velev, Randal E. Bryant, Alok Jain

Browse the full CAV paper archive.