- completed (mostly) the reset sequence - added formal assertions and cover statements for reset sequence logic - moved all parameters to this file - fixed port widths - converted IO ports to ANSI