Automated resasoning about Hardware data types using bit-vectors of symbolic lengths.
Published: 2003
Language: eng
Notes: Thesis (Ph.D.) -- University of Toronto, 2003.