Although the Verilog source looks to be well structured, it is still very difficult to follow. The SJA1000 documentation is good to describe the operation of the controller but I feel some additional code specific documentation is needed in order for this CAN Controller to be useful to the designer. Even some documentation on the interfacing and synthesis would be helpful.
For documentation take SJA1000 from Philips.
For documentation take SJA1000 from Philips.