Title: Fast compiled logic simulation using linear BDDs
First published: 1995