Advanced symbolic analysis for VLSI systems : methods and applications.