Towards finding path delay fault tests with high test efficiency using ZBDDs.

Maria K. Michael, Kyriakos Christou, Spyros Tragoudas

Browse the full ICCD paper archive.