Intellectual property module of a highly parametrizable embedded stack processor

Customizable microprocessors pose numerous design problems that arise from application-specific needs for data operations, word widths, storage capacities, and interfaces. We present a stack processor that features a customizable instruction set, extensive parametrization, and a synthesis model with separate core and interface modules. Verification uses a reference model automatically derived from a generic model and the current parameter settings.