Email Record: Advanced symbolic analysis for VLSI systems :