Automated reasoning about hardware data types using bit-vectors of symbolic lengths.
Published: 2003
Language: eng
Number of pages: 968
Notes: Thesis (Ph.D.) -- University of Toronto, 2003.