It's hard to imagine greater evidence of a tremendous impact on computer science than authoring the most cited paper in all of computer science as well as in EDA. Remarkable! Before you follow the links, can you guess the subject of the paper?
Find the answer in Gabe Moretti's
Kaufman Award Dinner Notes.
Good links and amusing pictures are in the coverage at SCD Source.
And to delve deeper into the subject, see the
Wikipedia article.
1 comment:
Hi John,
Nice post. Big fan for a very long time!
ROBDDs have revolutionized the field of formal verification, simulation and logic synthesis probably more than anything else.
Cant imagine the CAD world without ROBDD's.
www.cad-for-vlsi.blogspot.com
Post a Comment