Author:
Morin-Allory Katell,Javaheri Fatemeh Negin,Borrione Dominique
Funder
Direction Generale des Entreprises/Service des Technologies et de la Société de l’Information through the Nano 2012 Project
TIMA Laboratory, who is one of the founding partners of the LabEx PERSYVAL-Laboratory
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs;2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS);2020-04
2. Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2017-05