Sciweavers

950 search results - page 63 / 190
» Fuzzy logic in architectural design
Sort
View
DAC
2004
ACM
16 years 2 months ago
Quantum logic synthesis by symbolic reachability analysis
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Y...
DAC
2006
ACM
16 years 2 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
DAC
2003
ACM
16 years 2 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
FPL
2003
Springer
115views Hardware» more  FPL 2003»
15 years 7 months ago
Programmable Asynchronous Pipeline Arrays
We discuss high-performance programmable asynchronous pipeline arrays (PAPAs). These pipeline arrays are coarse-grain field programmable gate arrays (FPGAs) that realize high data...
John Teifel, Rajit Manohar
ISCAS
2006
IEEE
103views Hardware» more  ISCAS 2006»
15 years 8 months ago
A high-speed low-energy dynamic PLA using an input-isolation scheme
— Recently, there has been renewed interest in structured logic arrays due to a number of inherent advantages. However, before they will be more widely adopted, structured logic ...
Reza Molavi, Shahriar Mirabbasi, Resve A. Saleh