Functional Programming for Hardware Definition, Verification and Modelling

Nathan Chong and Samin Ishtiaq

Details

Publication typeInproceedings
Published inHardware Design and Functional Languages
> Publications > Functional Programming for Hardware Definition, Verification and Modelling