Specification and verification of VLSI systems.

Asher Wilk, Amir Pnueli

Browse the full ICCAD paper archive.