Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
Functional Programming for Hardware Definition, Verification and Modelling
Nathan Chong and Samin Ishtiaq
2007
In
Hardware Design and Functional Languages
Details
Type
Inproceedings
Related People
Samin Ishtiaq
Share
>
Publications
>
Functional Programming for Hardware Definition, Verification and Modelling