Verifiable and executable theories of design for synthesizing correct hardware.

Shiu-Kai Chin, Kevin J. Greene

Browse the full ICCD paper archive.