From the EIC: Building and verifying hardware at a higher level of abstraction | IEEE Journals & Magazine | IEEE Xplore