An HOL based framework for design of correct high level synthesizers.

B. M. Subraya, Anshul Kumar, Shashi Kumar

Browse the full VLSID paper archive.