Author:
Aziz A.,Balarin F.,Brayton R.K.,Sangiovanni-Vincentelli A.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20
2. Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2017-05
3. Efficient and Correct by Construction Assertion-Based Synthesis;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2015-12
4. Component-Based Design by Solving Language Equations;Proceedings of the IEEE;2015-11
5. From Assertion-Based Verification to Assertion-Based Synthesis;VLSI-SoC: Technologies for Systems Integration;2011