Efficient generation of monitor circuits for GSTE assertion graphs. (2003)

by A J Hu, J Casas, J Yang
Venue:In Int’l Conf. on Computer-Aided Design,