Verilog code for 8251 USART circuit

Hi! Does someone have an either behavioral, or structural description of the 8251 USART circuit in Verilog? I need it for a university-project.