Symbolic simulation techniques for verifying circuits combining datapaths and controllers. - Xiaowu Jeffrey Su (2002)