Author:
Khomenko V.,Koutny M.,Yakovlev A.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient composition of scenario‐based hardware specifications;IET Computers & Digital Techniques;2019-01-21
2. Synthesis of asynchronous controllers using integer linear programming;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2006-09
3. Synthesis of Asynchronous Hardware from Petri Nets;Lectures on Concurrency and Petri Nets;2004
4. Visualisation and resolution of encoding conflicts in asynchronous circuit design;IEE Proceedings - Computers and Digital Techniques;2003
5. Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT;Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.