Design verification using logic tests.

Warren H. Debany Jr., Mark Gorniak, Anthony R. Macera, Kevin A. Kwiat, Heather B. Dussault, Daniel Daskiewich

Browse the full RSP paper archive.