Author:
Amaru Luca,Gaillardon Pierre-Emmanuel,Mitra Subhasish,De Micheli Giovanni
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An efficient circuit-based SAT solver and its application in logic equivalence checking;Microelectronics Journal;2023-12
2. Logic Synthesis for Emerging Technologies;2023 IEEE 15th International Conference on ASIC (ASICON);2023-10-24
3. Logic Synthesis with XOR-Majority Graphs;Design Automation and Applications for Emerging Reconfigurable Nanotechnologies;2023-06-20
4. Standard Cells and Technology Mapping;Design Automation and Applications for Emerging Reconfigurable Nanotechnologies;2023-06-20
5. Preliminaries;Design Automation and Applications for Emerging Reconfigurable Nanotechnologies;2023-06-20