Author:
Zhang He-Teng,Jiang Jie-Hong R.,Amaru Luca,Mishchenko Alan,Brayton Robert
Funder
Ministry of Science and Technology
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Semi-Tensor Product based Circuit Simulation for SAT-sweeping;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
2. Synthesis of SFQ Circuits with Compound Gates;2023 IFIP/IEEE 31st International Conference on Very Large Scale Integration (VLSI-SoC);2023-10-16
3. Lightweight Structural Choices Operator for Technology Mapping;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09
4. CirSAT: An Efficient Circuit-based SAT Solver via Fanout-driven Decision Heuristic;2023 China Semiconductor Technology International Conference (CSTIC);2023-06-26
5. Live Demonstration: Pitanga Platform for Virtual FPGA Remote Laboratories;2023 IEEE International Symposium on Circuits and Systems (ISCAS);2023-05-21