ERC32
↑ ERC32 VHDL models user’s manual, Version 1.0 (October 1996)