Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.

Kong Woei Susanto, Tim Todman, Jos Gabriel F. Coutinho, Wayne Luk

Browse the full SOFSEM paper archive.