Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.

Alan J. Hu, Jeremy Casas, Jin Yang

Browse the full ICCAD paper archive.