Symbolic RTL simulation - Kölbl, Alferd; Kukula, James; Damiano, Robert (Design Automation, 2001 Proceedings, 2001)
Keywords: Analytical models; Applied computing -- Physical sciences and engineering -- Electronics; Applied computing -- Physical sciences and engineering -- Engineering; Circuit simulation; Computational modeling; Delay; Electronic design automation and methodology; Formal verification; Hardware -- Electronic design automation -- High-level and register-transfer level synthesis; Hardware -- Robustness; Hardware design languages; Permission; State-space methods; System testing