Hardware compilation
Redirect to:
Logic synthesis