Triossi, Andrea <1979>
(Università Ca' Foscari Venezia, 2012-03-12)
In this thesis we want to investigate the compiling of the well-established language
Constraint Handling Rule (CHR) to a low level hardware description language
(HDL). The benefit introduced by a CHR-based hardware synthesis ...