SVA Visualizer Using Context-Sensitive Grammar