Hardware synthesis from guarded atomic actions with performance specifications.

Daniel L. Rosenband

Browse the full ICCAD paper archive.