Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg

First Page		Document Content
Date: 2016-07-15 06:06:20 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt		Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg Add to Reading List Source URL: cse.iitk.ac.in Download Document from Source Website File Size: 12,91 KB Share Document on Facebook

	Functional Programming for Compiling and Decompiling Computer-Aided Design DocID: 1xW3j - View Document
	Functional Programming for Compiling and Decompiling Computer-Aided Design DocID: 1xTgX - View Document
	1st ASCAAD International Conference, e-Design in Architecture Dhahran, Saudi Arabia. DecemberA COMPUTER-AIDED SYSTEM FOR SITE SELECTION OF DocID: 1uOpG - View Document
	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 26, NO. 7, JULYSynthesis of Timed Circuits Based on Decomposition Tomohiro Yoneda, Member, IEEE, and Chris J. Myers, Senior Mem DocID: 1uNnn - View Document
	1042 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 29, NO. 7, JULY 2010 Time-Stepping Numerical Simulation of Switched Circuits Within the Nonsmooth Dynamical DocID: 1ut9H - View Document