Fast compiled logic simulation using linear BDDs
By: Sudeep Gupta, Keshav Pingali.
Contributors: Pingali, Keshav.; Cornell Theory Center.
Series: Technical report / Cornell Theory Center -- CTC95TR214.; Technical report (Cornell Theory Center) -- 214.
Publisher: Cornell Theory Center, Cornell University
Published: 1995
Place of publication: Ithaca, N.Y
Language: eng
Number of pages: 19
Notes: Cover title.

Includes bibliographical references.