Sequential Logic Synthesis Using Symbolic Bi-Decompsition

First Page		Document Content
Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra		Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Download Document from Source Website File Size: 252,62 KB Share Document on Facebook

	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford DocID: 1xUS1 - View Document
	Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby DocID: 1xTpT - View Document
	A Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation DANNY DOLEV, Hebrew University of Jerusalem, Israel DocID: 1uTWW - View Document
	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal DocID: 1rfDL - View Document
	Asynchronous Knowledge Gradient Policy for Ranking and Selection DocID: 1r19B - View Document