Author:
Sokolov Danil,Khomenko Victor,Mokhov Andrey,Yakovlev Alex,Lloyd David
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On SAT-Based Model Checking of Speed-Independent Circuits;2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2022-04-06
2. Automating the Design of Asynchronous Logic Control for AMS Electronics;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-05
3. Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
4. Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
5. High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2018-01