Published Version
Open DOI LinkAbstract
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit and describes how this problem can be formalized and solved using Quantified Boolean Satisfiability. This technique is general enough to be applied to any type of logic function and programmable circuit; thus, it has many applications to FPGAs. The applications demonstrated in this paper include FPGA technology mapping and resynthesis where their results show significant FPGA performance improvements.
Full Text
Open DOI Link
Sign-in/Register to access full text options Topics from this Paper
Field Programmable Gate Array- Programmable Circuit
- Logic Synthesis Technique
- Logic Function
- Programmable Array Logic + Show 5 more
Create a personalized feed of these topics
Get StartedTalk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callSimilar Papers
FPGA PLB evaluation using quantified boolean satisfiability 
Relevant
Not Relevant
International Conference on Field Programmable Logic and Applications, 2005.
Oct 10, 2005
RelevantNot Relevant FPGA programmable logic block evaluation using quantified Boolean satisfiability RelevantNot Relevant
- IEE Proceedings - Computers and Digital Techniques
- Jan 1, 2006
RelevantNot Relevant Designing Nonvolatile Reconfigurable Switch-based FPGA through Overall Circuit Performance Evaluation RelevantNot Relevant
- 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum
- May 21, 2012
RelevantNot Relevant Mitigated FPGA design of multi-gigabit transceivers for application in high radiation environments of High Energy Physics experiments RelevantNot Relevant
- Measurement
- Oct 1, 2017
RelevantNot Relevant Reconfigurable gate array architectures for real time digital signal processing RelevantNot Relevant
- Oct 31, 1994
RelevantNot Relevant Organic embedded architecture for sustainable FPGA soft-core processors RelevantNot Relevant
- May 11, 2015
RelevantNot Relevant Chemical extraction controlled by (FPGA), programmed by (VHDL) RelevantNot Relevant
- IOSR Journal of Engineering
- Apr 1, 2014
RelevantNot Relevant A power-efficient and non-volatile programmable logic array based on phase change memory RelevantNot Relevant
- Oct 12, 2016
RelevantNot Relevant Yield enhancement of field programmable logic arrays by inherent component redundancy RelevantNot Relevant
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Jan 1, 1990
RelevantNot Relevant Energy-aware logic synthesis and technology mapping for MUX-based FPGAs RelevantNot Relevant
- 17th International Conference on VLSI Design. Proceedings.
- Jan 5, 2004
RelevantNot Relevant SHAPER: synthesis for hybrid FPGAs containing PLAs using reconvergence analysis RelevantNot Relevant
- Dec 6, 2004
RelevantNot Relevant