Introduction to generalized symbolic trajectory evaluation (2003)

by J Yang, C-J H Seger
Venue:Transaction on VLSI Systems