Specification of exception handling in grammar-based hardware synthesis | IEEE Conference Publication | IEEE Xplore