PROJECT PROFILE ON VLSI DESIGN CENTRE 2012

First Page		Document Content
Date: 2014-10-04 03:35:58 Integrated circuits Electronic design Logic synthesis Xilinx Very-large-scale integration VLSI Project Mead & Conway revolution Electronic engineering Electronics Electromagnetism		PROJECT PROFILE ON VLSI DESIGN CENTRE 2012 Add to Reading List Source URL: www.emergingkerala2012.org Download Document from Source Website File Size: 121,92 KB Share Document on Facebook

	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem DocID: 1xVvj - View Document
	Synthesis of Logic Interpretations Jian Xiang, John Knight, Kevin Sullivan Department of Computer Science University of Virginia Charlottesville, VA USA {Jian,Knight,Sullivan}@cs.virginia.edu DocID: 1vpwF - View Document
	Reactive Synthesis from Signal Temporal Logic Specifications Vasumathi Raman Alexandre Donzé DocID: 1uiFq - View Document
	Prime Indicants: A Synthesis Method for Indicating Combinational Logic Blocks W. B. Toms, D. A. Edwards School of Computer Science, University of Manchester {tomsw,doug}@cs.man.ac.uk DocID: 1u5OA - View Document
	Switching Logic Synthesis for Reachability∗ Ankur Taly Ashish Tiwari Computer Science Dept., Stanford University DocID: 1t1e9 - View Document